This site is supported by donations to The OEIS Foundation.

Logic Syllabus

From OeisWiki
Jump to: navigation, search

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

Logic Syllabus

Logical operators

Logical concepts

Relational concepts

Information, Inquiry

Related articles

 ◾ Cactus Language  ◾ Propositions As Types Analogy
 ◾ Futures Of Logical Graphs  ◾ Propositional Equation Reasoning Systems
 ◾ Correspondence Theory Of Truth  ◾ Pragmatic Theory Of Truth
 ◾ Differential Logic • Overview  ◾ Prospects for Inquiry Driven Systems
 ◾ Differential Propositional Calculus  ◾ Introduction to Inquiry Driven Systems
 ◾ Differential Logic and Dynamic Systems  ◾ Inquiry Driven Systems • Overview