Logic Syllabus

☞ This page serves as a focal node for a collection of related resources.

Logic Syllabus

Logical operators

• Exclusive disjunction
• Logical conjunction
• Logical disjunction
• Logical equality

• Logical implication
• Logical NAND
• Logical NNOR
• Negation

Logical concepts

• Ampheck
• Boolean domain
• Boolean function
• Boolean-valued function
• Differential logic

• Logical graph
• Minimal negation operator
• Multigrade operator
• Parametric operator
• Peirce's law

• Propositional calculus
• Sole sufficient operator
• Truth table
• Universe of discourse
• Zeroth order logic

Relational concepts

• Continuous predicate
• Hypostatic abstraction
• Logic of relatives
• Logical matrix

• Relation
• Relation composition
• Relation construction
• Relation reduction

• Relation theory
• Relative term
• Sign relation
• Triadic relation

Related articles

• Cactus Language
• Futures Of Logical Graphs
• Propositional Equation Reasoning Systems

• Differential Logic : Introduction
• Differential Propositional Calculus
• Differential Logic and Dynamic Systems

• Introduction to Inquiry Driven Systems
• Prospects for Inquiry Driven Systems
• Inquiry Driven Systems : Inquiry Into Inquiry