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.

Monadic predicate calculus · Vinony

EntityQ6897882· pop 5· linked from 319 articles

Monadic predicate calculus

Sign in to save

fragment of first-order logic

Connections

semantic theory of truth

mathematical logic

propositional calculus

first-order logic

semantics of logic

ground expression

Categories

Logical calculi Predicate logic

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