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 条

[31] Teaching Intuitionistic and Classical Propositional Logic Using Isabelle
Villadsen, Jorgen
From, Asta Halkjaer
Blackburn, Patrick
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (354): : 71 - 85
[32] A note on cut-elimination for classical propositional logic
Pulcini, Gabriele
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (3-4) : 555 - 565
[33] Epistemic extensions of combined classical and intuitionistic propositional logic
Lewitzka, Steffen
LOGIC JOURNAL OF THE IGPL, 2017, 25 (03) : 309 - 324
[34] Correspondence Analysis for Some Fragments of Classical Propositional Logic
Yaroslav Petrukhin
Vasilyi Shangin
Logica Universalis, 2021, 15 : 67 - 85
[35] A note on cut-elimination for classical propositional logic
Gabriele Pulcini
Archive for Mathematical Logic, 2022, 61 : 555 - 565
[36] Correspondence Analysis for Some Fragments of Classical Propositional Logic
Petrukhin, Yaroslav
Shangin, Vasilyi
LOGICA UNIVERSALIS, 2021, 15 (01) : 67 - 85
[37] Characterization of logic program revision as an extension of propositional revision
Schwind, Nicolas
Inoue, Katsumi
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 111 - 138
[38] A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic
Golan, Rea
JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (06) : 1701 - 1716
[39] Unification with parameters in the implication fragment of classical propositional logic
Balbiani, Philippe
Mojtahedi, Mojtaba
LOGIC JOURNAL OF THE IGPL, 2022, 30 (03) : 454 - 464
[40] Propositional Logic as a Propositional Fuzzy Logic
Callejas Bedregal, Benjamin Rene
Cruz, Anderson Paiva
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12

← 1 2 3 4 5 →