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 条

[31] Classical and non-classical epistemology
Mikeshina, LA
VOPROSY FILOSOFII, 2002, (01) : 180 - 185
[32] SOME PROPERTIES OF SOLITON IN NON-CLASSICAL VARIATION FIELD
ZHANG, XM
ACTA MATHEMATICA SCIENTIA, 1983, 3 (04) : 369 - 375
[33] Some non-classical thermoelasticity problems for a rectangular parallelepiped
Khomasuridze, N.
Janjgava, R.
Zirakashvili, N.
MECCANICA, 2014, 49 (06) : 1337 - 1342
[34] Elementary theories of free algebras for varieties corresponding to non-classical logics
Rybakov, VV
ALGEBRA, 1996, : 199 - 208
[35] Thermal stresses in laminated composite plates based on non-classical theories
Daneshjoo, K
Ramezani, M
TRANSACTIONS OF THE CANADIAN SOCIETY FOR MECHANICAL ENGINEERING, 2004, 28 (2B) : 321 - 332
[36] Investigating the non-classical boundary conditions relevant to strain gradient theories
Jafari, Akbar
Ezzati, Meysam
PHYSICA E-LOW-DIMENSIONAL SYSTEMS & NANOSTRUCTURES, 2017, 86 : 88 - 102
[37] Popper versus Schumpeter:: A comparison of two non-classical theories of democracy
Novák, M
SOCIOLOGICKY CASOPIS-CZECH SOCIOLOGICAL REVIEW, 2003, 39 (01): : 11 - 36
[38] No-signaling in topos formulation and a common ontological basis for classical and non-classical physical theories
Kus, Marek
ZAGADNIENIA FILOZOFICZNE W NAUCE-PHILOSOPHICAL PROBLEMS IN SCIENCE, 2020, (69): : 129 - 143
[39] Non-Classical Hypercomputation
Stepney, Susan
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2009, 5 (3-4) : 267 - 276
[40] Non-classical immunology
Rachel L Allen
Genome Biology, 2 (2)

← 1 2 3 4 5 →