Category-3AFormal Systems
type: Ontology
creation date: 2025-12-07T03:52:00+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

Formal Systems
type: Class
page: https://mywikibiz.com/Category-3AFormal_Systems
wiki namespace: 14
wiki page content language: en
wiki page modification date: 2007-05-18T20:56:41Z
modification date#aux: 2454239.3726968
wiki page sort key: Formal Systems

Cactus Language
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Cactus_Language
wiki namespace: 110
wiki page content language: en
wiki page sort key: Cactus Language

Change In Logic
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Change_In_Logic
wiki namespace: 110
wiki page content language: en
wiki page sort key: Change In Logic

Differential Logic
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Differential_Logic
wiki namespace: 110
wiki page content language: en
wiki page sort key: Differential Logic

Differential Logic : Introduction
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Differential_Logic_-3A_Introduction
wiki namespace: 110
wiki page content language: en
wiki page sort key: Differential Logic : Introduction

Differential Logic and Dynamic Systems
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Differential_Logic_and_Dynamic_Systems
wiki namespace: 0
wiki page content language: en
wiki page sort key: Differential Logic and Dynamic Systems

Differential Logic and Dynamic Systems
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems
wiki namespace: 110
wiki page content language: en
wiki page sort key: Differential Logic and Dynamic Systems

Differential Logic and Dynamic Systems 2.0
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Differential_Logic_and_Dynamic_Systems_2.0
wiki namespace: 110
wiki page content language: en
wiki page sort key: Differential Logic and Dynamic Systems 2.0

Differential Logic and Dynamic Systems 3.0
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_3.0
wiki namespace: 110
wiki page content language: en
wiki page sort key: Differential Logic and Dynamic Systems 3.0

Differential Propositional Calculus
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Differential_Propositional_Calculus
wiki namespace: 110
wiki page content language: en
wiki page sort key: Differential Propositional Calculus

Differential logic
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Differential_logic
wiki namespace: 0
wiki page content language: en
wiki page sort key: Differential logic

Dynamics And Logic
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Dynamics_And_Logic
wiki namespace: 110
wiki page content language: en
wiki page sort key: Dynamics And Logic

Exclusive disjunction
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Exclusive_disjunction
wiki namespace: 0
wiki page content language: en
wiki page sort key: Exclusive disjunction

Functional Logic : Higher Order Propositions
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Functional_Logic_-3A_Higher_Order_Propositions
wiki namespace: 110
wiki page content language: en
wiki page sort key: Functional Logic : Higher Order Propositions

Functional Logic : Inquiry and Analogy
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Functional_Logic_-3A_Inquiry_and_Analogy
wiki namespace: 110
wiki page content language: en
wiki page sort key: Functional Logic : Inquiry and Analogy

Functional Logic : Quantification Theory
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Functional_Logic_-3A_Quantification_Theory
wiki namespace: 110
wiki page content language: en
wiki page sort key: Functional Logic : Quantification Theory

Futures Of Logical Graphs
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Futures_Of_Logical_Graphs
wiki namespace: 110
wiki page content language: en
wiki page sort key: Futures Of Logical Graphs

Directory:Jon Awbrey/Differential Logic : Various Sketches
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Differential_Logic_-3A_Various_Sketches
wiki namespace: 110
wiki page content language: en
wiki page sort key: Jon Awbrey/Differential Logic : Various Sketches

Logic of Relatives (1870)
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logic_of_Relatives_-281870-29
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logic of Relatives (1870)

Logic of Relatives (1883)
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logic_of_Relatives_-281883-29
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logic of Relatives (1883)

Logic of relatives
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logic_of_relatives
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logic of relatives

Logical NAND
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logical_NAND
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logical NAND

Logical NNOR
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logical_NNOR
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logical NNOR

Logical conjunction
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logical_conjunction
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logical conjunction

Logical disjunction
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logical_disjunction
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logical disjunction

Logical equality
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logical_equality
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logical equality

Logical graph
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logical_graph
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logical graph

Logical implication
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logical_implication
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logical implication

Logical negation
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Logical_negation
wiki namespace: 0
wiki page content language: en
wiki page sort key: Logical negation

Minimal negation operator
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Minimal_negation_operator
wiki namespace: 0
wiki page content language: en
wiki page sort key: Minimal negation operator

Multigrade operator
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Multigrade_operator
wiki namespace: 0
wiki page content language: en
wiki page sort key: Multigrade operator

Parametric operator
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Parametric_operator
wiki namespace: 0
wiki page content language: en
wiki page sort key: Parametric operator

Peirce's law
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Peirce-27s_law
wiki namespace: 0
wiki page content language: en
wiki page sort key: Peirce's law

Propositional Equation Reasoning Systems
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Directory-3AJon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems
wiki namespace: 110
wiki page content language: en
wiki page sort key: Propositional Equation Reasoning Systems

Propositional calculus
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Propositional_calculus
wiki namespace: 0
wiki page content language: en
wiki page sort key: Propositional calculus

Relative term
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Relative_term
wiki namespace: 0
wiki page content language: en
wiki page sort key: Relative term

User:Roygbiv/Graph
type: Subject
type: Formal Systems
page: https://mywikibiz.com/User-3ARoygbiv/Graph
wiki namespace: 2
wiki page content language: en
wiki page sort key: Roygbiv/Graph

Truth table
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Truth_table
wiki namespace: 0
wiki page content language: en
wiki page sort key: Truth table

Universe of discourse
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Universe_of_discourse
wiki namespace: 0
wiki page content language: en
wiki page sort key: Universe of discourse

Zeroth order logic
type: Subject
type: Formal Systems
page: https://mywikibiz.com/Zeroth_order_logic
wiki namespace: 0
wiki page content language: en
wiki page sort key: Zeroth order logic

INST
type: DatatypeProperty
page: https://mywikibiz.com/Property-3A_INST
wiki namespace: 152
wiki page content language: en
wiki page sort key: INST