Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations

被引：0

作者：

Pawel Pawlowski

机构：

[1] University of Gdansk,

[2] Ghent University,undefined

来源：

Logica Universalis | 2020年 / 14卷

关键词：

Non-deterministic logics; Proof systems; Many valued logics; Primary 03B60; 03B50;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

The main goal of this paper is to provide an abstract framework for constructing proof systems for various many-valued logics. Using the framework it is possible to generate strongly complete proof systems with respect to any finitely valued deterministic and non-deterministic logic. I provide a couple of examples of proof systems for well-known many-valued logics and prove the completeness of proof systems generated by the framework.

引用

页码：407 / 420

页数：13

共 14 条

[1] Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations
Pawlowski, Pawel
LOGICA UNIVERSALIS, 2020, 14 (04) : 407 - 420
[2] Axiomatizing non-deterministic many-valued generalized consequence relations
Sérgio Marcelino
Carlos Caleiro
Synthese, 2021, 198 : 5373 - 5390
[3] Axiomatizing non-deterministic many-valued generalized consequence relations
Marcelino, Sergio
Caleiro, Carlos
SYNTHESE, 2021, 198 (SUPPL 22) : 5373 - 5390
[4] Non-Deterministic Many-Valued Modal Logic
Ferguson, Thomas Macaulay
2022 IEEE 52ND INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2022), 2022, : 106 - 112
[5] A Note on Calculi for Non-deterministic Many-valued Logics
Kaminski, Michael
FUNDAMENTA INFORMATICAE, 2022, 186 (1-4) : 143 - 153
[6] MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY
Pawlowski, Pawel
Urbaniak, Rafal
REVIEW OF SYMBOLIC LOGIC, 2018, 11 (02): : 207 - 223
[7] Separating DAG-like and tree-like proof systems
Nguyen, Phuong
22nd Annual IEEE Symposium on Logic in Computer Science, Proceedings, 2007, : 235 - 244
[8] FIXED-POINT PROPERTY FOR TREE-LIKE CONTINUA WITH FINITELY MANY ARC COMPONENTS
FUGATE, JB
MOHLER, L
PACIFIC JOURNAL OF MATHEMATICS, 1975, 57 (02) : 393 - 402
[9] Studying Sequent Systems via Non-deterministic Multiple-Valued Matrices
Lahav, Ori
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2013, 21 (5-6) : 575 - 595
[10] Many-valued non-deterministic semantics for first-order logics of formal (In)consistency
Avron, Arnon
Zamansky, Anna
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS: PAPERS IN HONOR OF DANIELE MUNDICI ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4460 : 1 - 24

← 1 2 →