On the extension of classical propositional logic by means of a triangular norm

被引：0

作者：

机构：

[1] De Cooman, G.

[2] Kerre, E.E.

[3] Cappelle, B.

[4] Da, Ruan

[5] Vanmassenhove, F.

来源：

De Cooman, G. | 1600年 / 05期

关键词：

Propositional Logic;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[21] An Unexpected Feature of Classical Propositional Logic in the Tractatus
Beziau, Jean-Yves
PHILOSOPHY OF LOGIC AND MATHEMATICS, 2020, 27 : 385 - 395
[22] A transformation of propositional Prolog programs into classical logic
Stark, RF
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 302 - 315
[23] Substitutional definition of satisfiability in classical propositional logic
Belov, A
Stachniak, Z
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 31 - 45
[24] Theories in Classical Propositional Logic and the Converse of Substitution
Gorbunov, I. A.
RUSSIAN MATHEMATICS, 2020, 64 (01) : 22 - 24
[25] PEIRCE'S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC
Ma, Minghui
Pietarinen, Ahti-Veikko
REVIEW OF SYMBOLIC LOGIC, 2020, 13 (03): : 509 - 540
[26] The Propositional Logic Induced by Means of Basic Algebras
Chajda, I.
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2015, 54 (12) : 4306 - 4312
[27] The Propositional Logic Induced by Means of Basic Algebras
I. Chajda
International Journal of Theoretical Physics, 2015, 54 : 4306 - 4312
[28] Extension of the concept of propositional deduction from classical logic to probability: an overview of probability-selection approaches
Bamber, D
Goodman, IR
Nguyen, HT
INFORMATION SCIENCES, 2001, 131 (1-4) : 195 - 250
[29] A NON-CLASSICAL REFINEMENT OF THE INTERPOLATION PROPERTY FOR CLASSICAL PROPOSITIONAL LOGIC
Milne, Peter
LOGIQUE ET ANALYSE, 2016, (235) : 273 - 281
[30] Deciding intuitionistic-propositional logic via translation into classical logic
Korn, DS
Kreitz, C
AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 131 - 145

← 1 2 3 4 5 →