शास्त्रीय तर्कशास्त्र
Sign in to saveAlso known as standard logic, Frege–Russell logic
class of formal logics
In the Vinony graph
Vinony's link graph records 683 inbound references to शास्त्रीय तर्कशास्त्र, and connects out to semantic theory of truth, mathematical logic and Boolean algebra.
Vinony files it under Classical logic, History of logic and Logic.
Vinony links it to 28 Wikipedia language editions.
Wikidata facts
- Part of
- logic
- Followed by
- non-classical logic
Show 5 more facts
- topic's main category
- Category:Classical logic
- Commons category
- Classical logic
- studied by
- computer science
- topic has template
- Template: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