Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

classical logic · Vinony

🌐English

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Português Svenska Türkçe Русский العربية فارسی हिन्दी ไทย 한국어 中文日本語

EntityQ236975· pop 27· linked from 683 articles

classical logic

Also known as standard logic, Frege–Russell logic

class of formal logics

Available in 27 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
हिन्दी
be_x_old

Connections

semantic theory of truth

mathematical logic

Categories

Classical logic History of logic Logic

Sources

wikipedia.externallinksexternallink

Show 8 more

Slovak
Svenska
Tamil
Ukrainian
zh_yue
فارسی
ไทย
한국어

via Wikidata sitelinks · CC0

Boolean algebra

Entity

propositional calculus

De Morgan's laws

logical operator

Tractatus Logico-Philosophicus

first-order logic

Boolean algebra

semantics of logic

double negation

ground expression

Gottfried Wilhelm Leibniz

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

semantics of logic

Entitydist 0.35

Entitydist 0.35

Entitydist 0.36

logical language

Entitydist 0.37

logic programming

Entitydist 0.38

description logic

Entitydist 0.40

linear temporal logic

Entitydist 0.40

paraconsistent logic

Entitydist 0.41

lambda calculus

Entitydist 0.41

substructural logic

Entitydist 0.42

dialogical logic

Entitydist 0.43

simply typed lambda calculus

Entitydist 0.44

What links here683 pages

history of science and technology in the Indian subcontinent

history of science

elementary equivalence

Keith Donnellan

axiomatic system

object of the mind

conditioned disjunction

lambda calculus

Jaakko Hintikka

logical positivism

Cantor's paradox

three-valued logic

Mostowski collapse lemma

computer-assisted proof