Logical calculi

branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components

kind of proof calculus

style of formal logical argumentation

theory of relational databases

fundamental concept in automated theorem proving

type of non-monotonic logic

diagrammatic notation for logical expressions proposed by Peirce

area of artificial intelligence

system of formal deduction in logic

statement that asserts that a certain premise is true

1969 non-fiction book by G. Spencer-Brown

fragment of first-order logic

logic formalism