Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

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

Monadic predicate calculus · Vinony

Home
Logical calculi
Monadic predicate calculus

🌐English

English Français Português 中文

EntityQ6897882· pop 5· linked from 319 articles

Monadic predicate calculus

Also known as monadic first-order logic

fragment of first-order logic

Available in 5 languages

Français
中文
Português
Ukrainian

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

Categories

Logical calculi Predicate logic

mathematical logic

Entity

propositional calculus

first-order logic

semantics of logic

ground expression

Sign in to save

Similar entities

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

predicative complement

Entitydist 0.53

Template:Taxonomy/Monas

Entitydist 0.54

Entitydist 0.54

Template:Taxonomy/Monactis

Entitydist 0.58

Template:Taxonomy/Monaeses

Entitydist 0.58

Template:Taxonomy/Monanthes

Entitydist 0.58

Entitydist 0.59

Rhamno-Prunetea

Entitydist 0.61

Template:Taxonomy/Monachather

Entitydist 0.62

Template:Taxonomy/Monacha

Entitydist 0.62

Template:Taxonomy/Monaga

Entitydist 0.62

Template:Taxonomy/Monapia

Entitydist 0.62

What links here319 pages

algebraic logic

first-order logic

Cantor's paradox

Mostowski collapse lemma

three-valued logic

computer-assisted proof

continuum hypothesis

superseded scientific theory

algebra of sets

proof of impossibility

compactness theorem

linear temporal logic

logical contradiction

material implication

Courcelle's theorem