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 条

[21] On the relationship of the shear deformable Generalized Beam Theory with classical and non-classical theories
de Miranda, Stefano
Madeo, Antonio
Miletta, Rosario
Ubertini, Francesco
INTERNATIONAL JOURNAL OF SOLIDS AND STRUCTURES, 2014, 51 (21-22) : 3698 - 3709
[22] Spectroscopy with non-classical light and non-classical atoms
Polzik, ES
Hald, J
Sorensen, JL
SPECTRAL LINE SHAPES, VOL 10: 14TH ICSLS, 1999, 467 : 267 - 274
[23] Vibration of Timoshenko beams using non-classical elasticity theories
Araujo dos Santos, J. V.
Reddy, J. N.
SHOCK AND VIBRATION, 2012, 19 (03) : 251 - 256
[24] γδ T cells:: Non-classical ligands for non-classical cells
Steele, CR
Oppenheim, DE
Hayday, AC
CURRENT BIOLOGY, 2000, 10 (07) : R282 - R285
[25] Some non-classical thermoelasticity problems for a rectangular parallelepiped
N. Khomasuridze
R. Janjgava
N. Zirakashvili
Meccanica, 2014, 49 : 1337 - 1342
[26] SOME PROPERTIES OF SOLITON IN NON-CLASSICAL VARIATION FIELD
张学铭
ActaMathematicaScientia, 1983, (04) : 369 - 375
[27] Getting some (non-classical) closure with justification logic
Standefer S.
Shear T.
French R.
Asian Journal of Philosophy, 2 (2):
[28] Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics
Abe, Jair M.
Akama, Seiki
Nakamatsu, Kazumi
da Silva Filho, Joao I.
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES-2018), 2018, 126 : 1253 - 1260
[29] NON-CLASSICAL GENERALIZED SOLUTIONS FOR SOME HYPERBOLIC SYSTEMS
DING Xiaqi(Institute of Applied Mathematics
SystemsScienceandMathematicalSciences, 1999, (S1) : 1 - 13
[30] MOLECULAR ORBITAL CALCULATIONS ON SOME NON-CLASSICAL AROMATICS
ROSOWSKY, A
FLEISCHER, H
YOUNG, ST
PARTCH, R
SAUNDERS, WH
BOEKELHEIDE, V
TETRAHEDRON, 1960, 11 (1-2) : 121 - 124

← 1 2 3 4 5 →