Murphree's numerical term logic tableaux

DOI10.1016/j.entcs.2020.10.003OpenAlexW3107607852WikidataQ113317269 ScholiaQ113317269MaRDI QIDQ2133434

J. Martín Castro-Manzano

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.10.003

zbMATH Keywords

term logicsemantic treesnumerical term logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Mixing colors, mixing logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Predicate-functors and the limits of decidability in logic
• Aristotelian syllogisms and generalized quantifiers
• Syllogisms using 'few', 'many', and 'most'
• An axiomatization of predicate functor logic
• On the logic of few, many, and most
• On a generalization of quantifiers
• Natural Logic and Semantics
• An Invitation to Formal Reasoning
• Numerical term logic

This page was built for publication: Murphree's numerical term logic tableaux