On elimination of quantifiers in some non-classical mathematical theories
From MaRDI portal
Publication:6307083
DOI10.1002/malq.201600078zbMath1521.03041arXiv1809.08299WikidataQ129467748 ScholiaQ129467748MaRDI QIDQ6307083
Andrew Tedder, Guillermo Badia
Publication date: 21 September 2018
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantifier elimination, model completeness, and related topics (03C10)