NON-ARITHMETICAL BEHAVIOR OF TRUTH PREDICATE LOGICS OF PROVABILITY

被引：0

|

作者：

ARTEMOV, SN

机构：

来源：

DOKLADY AKADEMII NAUK SSSR | 1985年 / 284卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：270 / 271

页数：2

相关论文

共 36 条

[21] THE ELIMINATION OF THE NON-ENGLISH LANGUAGES AND THE NON-ARITHMETICAL MATHEMATICS
Rapeer, Louis W.
SCHOOL AND SOCIETY, 1916, 3 (68): : 549 - 556
[22] Provability Games for Non-classical Logics
Pavlova, Alexandra
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 408 - 425
[23] Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
Montagna, Franco
Noguera, Carles
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (02) : 399 - 424
[24] On completeness results for the expansions with truth-constants of some predicate fuzzy logics
Esteva, Francesc
Godo, Lluis
Noguera, Carles
NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL II, PROCEEDINGS, 2007, : 21 - +
[25] Algebraic kripke sheaf semantics for non-classical predicate logics
Suzuki N.-Y.
Studia Logica, 1999, 63 (3) : 387 - 416
[26] Editorial: Special issue on non-classical modal and predicate logics
Cintula, Petr
Iemhoff, Rosalie
Ju, Shier
LOGIC JOURNAL OF THE IGPL, 2014, 22 (03) : 411 - 412
[27] Editors' introduction: Special issue on non-classical modal and predicate logics
Cintula, Petr
Weber, Zach
Ju, Shier
LOGIC JOURNAL OF THE IGPL, 2019, 27 (04) : 385 - 386
[28] Fibring Non-Truth-Functional Logics: Completeness Preservation
C. Caleiro
W.A. Carnielli
M.E. Coniglio
A. Sernadas
C. Sernadas
Journal of Logic, Language and Information, 2003, 12 (2) : 183 - 211
[29] An extension of Jonsson-Tarski representation and model existence in predicate non-normal modal logics
Tanaka, Yoshihito
MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (02) : 189 - 201
[30] Non-Boolean classical relevant logics II: Classicality through truth-constants
Tore Fjetland Øgaard
Synthese, 2021, 199 : 6169 - 6201

← 1 2 3 4 →