Murphree's Numerical Term Logic is a logic capable of representing and performing inference with numerical quantifiers by modifying Sommers' Term Functor Logic: in this contribution we offer a tableaux method for it.
No takes yet. Share an insight, caveat, or question.
José Martín Castro-Manzano (2020) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: