Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

classical logic · Vinony

EntityQ236975· pop 27· linked from 683 articles

classical logic

Sign in to save

class of formal logics

Connections

semantic theory of truth

mathematical logic

Boolean algebra

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

Categories

Classical logic History of logic Logic

Sources

wikipedia.externallinksexternallink

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