classical logic
Sign in to saveAlso known as standard logic, Frege–Russell logic
class of formal logics
Wikidata facts
Show 2 more facts
- Commons category
- Classical logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/classical-logic
Sources (3)
via Wikidata · CC0
Connections
semantic theory of truth
Entity
mathematical logic
Entity
Boolean algebra
Entity
propositional calculus
Entity
De Morgan's laws
Entity
logical operator
Entity
Tractatus Logico-Philosophicus
Entity
first-order logic
Entity
formal system
Entity
recursive set
Entity
Boolean algebra
Entity
semantics of logic
Entity
structure
Entity
double negation
Entity
diagram
Entity
ground expression
Entity
Aristotle
Entity
geometry
Entity
logic
Entity
Gottfried Wilhelm Leibniz
Entity