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.

free logic · Vinony

🌐English

English Español Français Italiano Polski Português العربية فارسی 中文日本語

EntityQ3502887· pop 10· linked from 323 articles

free logic

form of logic with fewer existential presuppositions than classical logic

Available in 10 languages

Español
中文
Português
Italiano
العربية
Catalan
Czech
Polski
فارسی

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

mathematical logic

Categories

Non-classical logic

Sources

wikipedia.externallinksexternallink

first-order logic

Entity

semantics of logic

ground expression

Bertrand Russell

International Standard Book Number

digital object identifier

International Standard Serial Number

Sign in to save

Similar entities

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

higher-order logic

Entitydist 0.40

Entitydist 0.50

Entitydist 0.50

paradoxes of material implication

Entitydist 0.51

Janina Hosiasson-Lindenbaum

Entitydist 0.52

descriptive complexity theory

Entitydist 0.52

Problem of multiple generality

Entitydist 0.53

rule of inference

Entitydist 0.53

Entitydist 0.55

Entitydist 0.55

structural semantics

Entitydist 0.55

Category:French logicians

Entitydist 0.56

What links here323 pages

first-order logic

elementary equivalence

superseded scientific theory

lambda calculus

three-valued logic

Mostowski collapse lemma

Cantor's paradox

continuum hypothesis

computer-assisted proof

algebra of sets

compactness theorem

logical contradiction

Stanisław Jaśkowski

proof of impossibility