Fuzzy constructive logic

被引：0

作者：

Zaslavsky I.D. ^{[1
]}

机构：

[1] Institute of Informatics and Automation Problems, Armenian Academy of Sciences, Yerevan

来源：

Journal of Mathematical Sciences | 2009年 / 158卷 / 5期

关键词：

Fuzzy Logic; Constructive Approach; Predicate Calculus; Logical System; True Predicate;

D O I：

10.1007/s10958-009-9410-6

中图分类号：

学科分类号：

摘要：

We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles. © 2009 Springer Science+Business Media, Inc.

引用

页码：677 / 688

页数：11

共 50 条

[21] Logic and information:: From logic to constructive reasoning -: Preface
Brattka, Vasco
Kuenzi, Hans-Peter
Jaeger, Gerhard
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (02): : VII - VII
[22] Preservativity logic: An analogue of interpretability logic for constructive theories
Iemhoff, R
MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (03) : 230 - 249
[23] PAP - A LOGIC PROGRAMMING SYSTEM BASED ON A CONSTRUCTIVE LOGIC
MIGLIOLI, P
MOSCATO, U
ORNAGHI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 306 : 143 - 156
[24] Implicit Epistemic Aspects of Constructive Logic
Göran Sundholm
Journal of Logic, Language and Information, 1997, 6 (2) : 191 - 212
[25] Extending Constructive Logic Negation with Types
Munoz-Hernandez, Susana
Jose Moreno-Navarro, Juan
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 246 : 183 - 198
[26] RECURSIVE REALIZABILITY AND CONSTRUCTIVE LOGIC OF PREDICATES
PLISKO, VE
DOKLADY AKADEMII NAUK SSSR, 1974, 214 (03): : 520 - 523
[27] Game Semantics for Constructive Modal Logic
Acclavio, Matteo
Catta, Davide
Strassburger, Lutz
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 428 - 445
[28] CURRY PARADOX IN CONTRACTIONLESS CONSTRUCTIVE LOGIC
AKAMA, S
JOURNAL OF PHILOSOPHICAL LOGIC, 1996, 25 (02) : 135 - 150
[29] BCDL: Basic Constructive Description Logic
Ferrari, Mauro
Fiorentini, Camillo
Fiorino, Guido
JOURNAL OF AUTOMATED REASONING, 2010, 44 (04) : 371 - 399
[30] Logical Connectives for Constructive Modal Logic
Heinrich Wansing
Synthese, 2006, 150 : 459 - 482

← 1 2 3 4 5 →