Nominal models assign absolute denotations to open terms and predicates in predicate logic and prove equivalent to standard valuation-based models via soundness and completeness.
Gabbay and Aad Mathijssen
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2023 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
Nominal models assign absolute denotations to open terms and predicates in predicate logic and prove equivalent to standard valuation-based models via soundness and completeness.