Murphree's Numerical Term Logic Tableaux
Open Access
- 24 November 2020
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 354, 17-28
- https://doi.org/10.1016/j.entcs.2020.10.003
Abstract
No abstract availableKeywords
Funding Information
- UPAEP Research Grant
This publication has 8 references indexed in Scilit:
- Numerical Term LogicNotre Dame Journal of Formal Logic, 1998
- Aristotelian syllogisms and generalized quantifiersStudia Logica, 1989
- Preliminary notes on a new modal syllogistic.Notre Dame Journal of Formal Logic, 1988
- An axiomatization of predicate functor logic.Notre Dame Journal of Formal Logic, 1983
- Syllogisms using ``few'', ``many'', and ``most''.Notre Dame Journal of Formal Logic, 1982
- Predicate-functors and the limits of decidability in logic.Notre Dame Journal of Formal Logic, 1980
- On the logic of ``few'', ``many'', and ``most''.Notre Dame Journal of Formal Logic, 1979
- On a generalization of quantifiersFundamenta Mathematicae, 1957