QUANTUM LOGIC AND THE CLASSICAL PROPOSITIONAL CALCULUS

被引：3

|

作者：

MALHAS, OQ

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 03期

关键词：

D O I：

10.2307/2274369

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：834 / 841

页数：8

相关论文

共 50 条

[1] THE ORIGINALITY OF THE STOICS' PROPOSITIONAL LOGIC COMPARED TO THE CLASSICAL PROPOSITIONAL CALCULUS
Simoes, Eduardo
Moreira, Jose Carlos Alves
Soares, Pedro Luciano Souza
Souza, Thaina Ferreira
Freitas, Fabio Augusto Passos
AUFKLARUNG-REVISTA DE FILOSOFIA, 2022, 9 (02): : 93 - 108
[2] A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic
Golan, Rea
JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (06) : 1701 - 1716
[3] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Kaminski, Michael
Francez, Nissim
STUDIA LOGICA, 2014, 102 (03) : 479 - 497
[4] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Michael Kaminski
Nissim Francez
Studia Logica, 2014, 102 : 479 - 497
[5] QUANTUM-THEORY AS A THEORY IN A CLASSICAL PROPOSITIONAL CALCULUS
MALHAS, OQ
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1992, 31 (09) : 1699 - 1714
[6] Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
Ferrari, Mauro
Fiorentini, Camillo
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 237 - 252
[7] A Schemata Calculus for Propositional Logic
Aravantinos, Vincent
Caferra, Ricardo
Peltier, Nicolas
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 32 - 46
[8] THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
BULL, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 45 - 86
[9] PHASE SEMANTICS AND SEQUENT CALCULUS FOR PURE NONCOMMUTATIVE CLASSICAL LINEAR PROPOSITIONAL LOGIC
ABRUSCI, VM
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (04) : 1403 - 1451
[10] CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Ishihara, Hajime
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03) : 1 - 7

← 1 2 3 4 5 →