classical logic

class of formal logics

Wikidata entity: Q236975

Wikimedia Commons category is Classical logic

P373 Commons category String Classical logic ???
P156 followed by ... Q239179 (non-classical logic) non-classical logic
P1552 has characteristic ... Q60190 (principle of explosion) principle of explosion
P1552 has characteristic ... Q468422 (principle of excluded middle) principle of excluded middle
P1552 has characteristic ... Q737471 (double negative elimination) double negative elimination
P1552 has characteristic ... Q868437 (law of noncontradiction) law of noncontradiction
P1552 has characteristic ... Q1945137 (monotonicity of entailment) monotonicity of entailment
P1552 has characteristic ... Q5155091 (commutativity of conjunction) commutativity of conjunction
P1552 has characteristic ... Q5988174 (idempotency of entailment) idempotency of entailment
P361 part of ... Q8078 (logic) logic
P1482 Stack Exchange tag Url Newest 'classical-logic' Questions - Proof Assistants Stack Exchange ???
P2579 studied by ... Q21198 (computer science) computer science
P2579 studied by ... Q491412 (philosophical logic) philosophical logic
P2579 studied by ... Q1166618 (mathematical logic) mathematical logic
P279 subclass of ... Q17488292 (logical system) logical system
P1424 topic has template ... Q18668371 (Template:Classical logic) Template:Classical logic
P910 topic's main category ... Q7470264 (Category:Classical logic) Category:Classical logic
External Ids
P9545Encyclopedia of China (Second Edition) ID204652
P646Freebase ID/m/0fhpt
P227GND ID4333219-5
P8408KBpedia IDClassicalLogic
P6366Microsoft Academic ID (discontinued)32241873
P4215nLab IDclassical logic
P10283OpenAlex IDC32241873
P3235PhilPapers topicclassical-logic
P1051PSH ID7097
P3417Quora topic IDClassical-Logic
P3123Stanford Encyclopedia of Philosophy IDlogic-classical
P9621Treccani's Enciclopedia della Matematica IDlogica-classica
P11093TUBITAK Sosyal Bilimler Ansiklopedisi IDklasik_mantik

Why not click here or view trends?

log id: 6261854