CONSTRUCTING SEQUENT RULES IN GENERALIZED PROPOSITIONAL LOGICS

被引：0

|

作者：

CALL, RL

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：677 / 678

页数：2

相关论文

共 50 条

[1] Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
Kuijer, Louwe B.
[J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2013), 2013, 8196 : 190 - 203
[2] Constructing Natural Extensions of Propositional Logics
Prenosil, Adam
[J]. STUDIA LOGICA, 2016, 104 (06) : 1179 - 1190
[3] WEAK PROPOSITIONAL LOGICS (SEQUENT-SYSTEMS AND GROUPOID MODELS FOR A FAMILY OF PROPOSITIONAL LOGICS WEAKER THAN HEYTING)
DOSEN, K
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 315 - 315
[4] Constructing Natural Extensions of Propositional Logics
Adam Přenosil
[J]. Studia Logica, 2016, 104 : 1179 - 1190
[5] Semantics of multiplicative propositional signed sequent calculi with structural rules
Pynko, AP
[J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2004, 10 (04) : 339 - 362
[6] Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics
Matteo Tesi
[J]. Studia Logica, 2021, 109 : 725 - 757
[7] Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics
Tesi, Matteo
[J]. STUDIA LOGICA, 2021, 109 (04) : 725 - 757
[8] Generalized tableau systems for intermediate propositional logics
Avellone, A
Miglioli, P
Moscato, U
Ornaghi, M
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 43 - 61
[9] Hypersequent rules with restricted contexts for propositional modal logics
Lellmann, Bjoern
[J]. THEORETICAL COMPUTER SCIENCE, 2016, 656 : 76 - 105
[10] Tableaus with invertible rules for many-valued modal propositional logics
Sakalauskaité J.
[J]. Lithuanian Mathematical Journal, 2002, 42 (2) : 191 - 203

← 1 2 3 4 5 →