Category

Non-classical logic

page 1

system for reasoning about vagueness

intuitionistic logic

various systems of symbolic logic

theory of logic based on the orthocomplemented lattice of closed subspaces of a separable Hilbert space, regarded as the lattice of quantum propositions

paraconsistent logic

type of formal logic without explosion principle

description logic

family of formal knowledge representation languages

non-classical logic

formal systems of logic that significantly differ from standard logical systems

Dialetheism (; from Greek 'twice' and 'truth') is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", dialetheia, or nondualisms.

non-monotonic logic

formal logic whose conclusion relation is not monotonic

probabilistic logic

use of probability and logic to deal with uncertain situations

relevance logic

mathematical logic system that imposes certain restrictions on implication

system of resource-aware logic

Kripke semantics

semantics for modal logics

form of logic with fewer existential presuppositions than classical logic

type of non-monotonic logic

The World of Null-A

1948 novel by A. E. van Vogt

200px|thumbnail|right|Trivialism in First-order logic#Logical symbols|symbolic logic; Read as "given any proposition, it is a true proposition."

infinitary logic

logic that allows infinitely long statements and/or infinitely long proofs

intermediate logic

propositional logic extending intuitionistic logic

substructural logic

extension of modal logic

type of fallacy in modal logic