GoDEL ON MANY-VALUED LOGIC

被引：0

作者：

Lethen, Tim ^{[1
]}

机构：

[1] Univ Helsinki, Dept Philosophy, FI-00014 Helsinki, Finland

来源：

REVIEW OF SYMBOLIC LOGIC | 2023年 / 16卷 / 03期

关键词：

many-valued logic; Kurt Godel;

D O I：

10.1017/S1755020321000034

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

This paper collects and presents unpublished notes of Kurt Godel concerning the field of many-valued logic. In order to get a picture as complete as possible, both formal and philosophical notes, transcribed from the Gabelsberger shorthand system, are included.

引用

页码：655 / 671

页数：17

共 50 条

[41] From many-valued consequence to many-valued connectives
Emmanuel Chemla
Paul Egré
Synthese, 2021, 198 : 5315 - 5352
[42] On many-valued partitions and many-valued equivalence relations
Demirci, M
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2003, 11 (02) : 235 - 253
[43] From many-valued consequence to many-valued connectives
Chemla, Emmanuel
Egre, Paul
SYNTHESE, 2021, 198 (SUPPL 22) : 5315 - 5352
[44] A-classification of idempotent functions of many-valued logic
Marchenkov, SS
DISCRETE APPLIED MATHEMATICS, 2004, 135 (1-3) : 183 - 203
[45] Possibilities and paradox: An introduction to modal and many-valued logic
Bremer, M
EUROPEAN JOURNAL OF PHILOSOPHY, 2005, 13 (02) : 291 - 293
[46] CHARACTERISTIC OF SOME ALGEBRAS OF FUNCTIONS OF MANY-VALUED LOGIC
TROKHIMENKO, VS
CYBERNETICS, 1987, 23 (03): : 362 - 368
[47] Many-valued logic and sequence arguments in value theory
Knutsson, Simon
SYNTHESE, 2021, 199 (3-4) : 10793 - 10825
[48] A relational formalisation of a generic many-valued modal logic
Konikowska, B
Orlowska, E
RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS, 2001, 65 : 183 - 202
[49] MANY-VALUED LOGIC SYSTEM FOR LINGUISTIC MODEL PROCESSING
DRUCKMULLER, M
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1991, 20 (01) : 31 - 37
[50] The algebras of Lukasiewicz many-valued logic: A historical overview
Cignoli, Roberto
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS: PAPERS IN HONOR OF DANIELE MUNDICI ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4460 : 69 - 83

← 1 2 3 4 5 →