Ontify

⌘S

Classical Logic

Standard Logic

Class of formal logics.

Wikipedia logo

Wikipedia | Classical Logic

External Pages About Classical Logic

KBpedia ID

KBpedia

Statements about Classical Logic

Followed By

Fuzzy Logic
Reason for Deprecated Rank
:
Disputed
Non-Classical Logic

Subclass Of

Logical System

Has Characteristic

Principle of Excluded Middle
Double Negative Elimination
Law of Noncontradiction
Principle of Explosion
Monotonicity of Entailment
Idempotency of Entailment
Commutativity of Conjunction

Studied By

Mathematical Logic
Philosophical Logic
Computer Science

Part Of

Logic

Stack Exchange Tag

https://proofassistants.stackexchang ...
Powered byWikidataWikidata