On elimination of quantifiers in some non-classical mathematical theories

被引：0
|
作者：
Badia, Guillermo [1 ]
Tedder, Andrew [2 ]
机构：
[1] Johannes Kepler Univ Linz, Dept Knowledge Based Math Syst, Altenbergerstr 69, A-4040 Linz, Austria
[2] Univ Connecticut, Dept Philosophy, 344 Mansfield Rd, Storrs, CT 06269 USA
来源：
MATHEMATICAL LOGIC QUARTERLY | 2018年 / 64卷 / 03期
基金：
奥地利科学基金会;
关键词：
INCONSISTENT MODELS; ARITHMETICS; LOGIC;
D O I：
10.1002/malq.201600078
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：140 / 154
页数：15
相关论文
共 50 条
  • [1] On Negation for Non-classical Set Theories
    S. Jockwich Martinez
    G. Venturi
    Journal of Philosophical Logic, 2021, 50 : 549 - 570
  • [2] On Negation for Non-classical Set Theories
    Jockwich Martinez, S.
    Venturi, G.
    JOURNAL OF PHILOSOPHICAL LOGIC, 2021, 50 (03) : 549 - 570
  • [3] Non-classical continuum theories for solid and fluent continua and some applications
    Surana, K. S.
    Mysore, D.
    Reddy, J. N.
    INTERNATIONAL JOURNAL OF SMART AND NANO MATERIALS, 2019, 10 (01) : 28 - 89
  • [4] Quantifiers elimination for commutative theories
    Palyutin, EA
    DOKLADY AKADEMII NAUK, 1998, 363 (03) : 301 - 303
  • [5] Non-Classical Logics in Satisfiability Modulo Theories
    Eisenhofer, Clemens
    Alassaf, Ruba
    Rawson, Michael
    Kovacs, Laura
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 24 - 36
  • [6] INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
    Tarafder, Sourav
    Venturi, Giorgio
    REVIEW OF SYMBOLIC LOGIC, 2023, 16 (04): : 979 - 1010
  • [7] Quantum Darwinism and the spreading of classical information in non-classical theories
    Baldijao, Roberto D.
    Krumm, Marius
    Garner, Andrew J. P.
    Mueller, Markus P.
    QUANTUM, 2022, 6
  • [8] Classical and non-classical effective medium theories: New perspectives
    Tsukerman, Igor
    PHYSICS LETTERS A, 2017, 381 (19) : 1635 - 1640
  • [9] Non-classical structural mathematical means and optic
    Sorokin, VK
    Lobanova, LS
    MMET 2000: INTERNATIONAL CONFERENCE ON MATHEMATICAL METHODS IN ELECTROMAGNETIC THEORY, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2000, : 697 - 699
  • [10] ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR-SPACES
    KUZICHEV, AA
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (5-6): : 575 - 577
12345