On elimination of quantifiers in some non‐classical mathematical theories

DOI10.1002/malq.201600078OpenAlexW2963863131WikidataQ129467748 ScholiaQ129467748MaRDI QIDQ5109215

Andrew Tedder, Guillermo Badia

Publication date: 11 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.08299

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on the model theory of DeMorgan logics
• Real analysis in paraconsistent logic
• Quantifier elimination for a class of intuitionistic theories
• Inconsistent number systems
• Inconsistent models of arithmetic. I: Finite models
• Handbook of philosophical logic. Vol. 6
• A note on Priest's finite inconsistent arithmetics
• Inconsistent models of arithmetic Part II: the general case
• Inconsistent models for relevant arithmetics
• Whither relevant arithmetic?
• Model Theory
• On LP-models of arithmetic
• An alternative semantics for quantified relevant logic

This page was built for publication: On elimination of quantifiers in some non‐classical mathematical theories