Monadic predicate calculus
Sign in to saveAlso known as monadic first-order logic
fragment of first-order logic
Connections
arity
Entity
semantic theory of truth
Entity
mathematical logic
Entity
propositional calculus
Entity
relation
Entity
first-order logic
Entity
formal system
Entity
validity
Entity
recursive set
Entity
semantics of logic
Entity
signature
Entity
structure
Entity
ground expression
Entity
diagram
Entity
logic
Entity
set theory
Entity
function
Entity
set
Entity
axiom
Entity
theorem
Entity