On elimination of quantifiers in some non-classical mathematical theories
From MaRDI portal
Publication:6307083
DOI10.1002/MALQ.201600078arXiv1809.08299WikidataQ129467748 ScholiaQ129467748MaRDI QIDQ6307083FDOQ6307083
Authors: Guillermo Badia, Andrew Tedder 
Publication date: 21 September 2018
Abstract: Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication: On elimination of quantifiers in some non-classical mathematical theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6307083)
