Refutation systems in modal logic (Q1327486): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Valentin F. Goranko / rank | |||
Property / reviewed by | |||
Property / reviewed by: Uwe Scheffler / rank | |||
Revision as of 15:35, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Refutation systems in modal logic |
scientific article |
Statements
Refutation systems in modal logic (English)
0 references
3 January 1995
0 references
Refutation systems are deductive systems which infer refutable statements instead of valid statements. Thus, a refutation system is every pair consisting of a set of axioms \(\ldashv\varphi\) and a set of refutation rules: If \(\lvdash\varphi_ 1,\dots,\lvdash \varphi_ k\), \(\ldashv \psi_ 1,\dots,\ldashv \psi_ n\), then \(\ldashv\psi\). The paper contains a historical part on refutation logics and general considerations about such deductive systems. Refutation systems are proposed for various logics. The second part of the paper deals with Gentzen-style refutation rules being a new approach in the area. Besides the cited references, the following technical report may be useful: \textit{Tomasz Skura}: ``Refutation procedures for intuitionistic and modal logics'' [Konstanzer Berichte Logik und Information 37, Universität Konstanz, Zentrum Philosophie und Wissenschaftstheorie].
0 references
characterization
0 references
completeness
0 references
deductive systems
0 references
refutation logics
0 references
Gentzen-style refutation rules
0 references