Refutation systems in modal logic (Q1327486): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Valentin F. Goranko / rank | |||
Property / reviewed by | |||
Property / reviewed by: Uwe Scheffler / rank | |||
Property / author | |||
Property / author: Valentin F. Goranko / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Uwe Scheffler / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3762292 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The method of axiomatic rejection for the intuitionistic propositional logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3026978 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5813911 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Aristotle's syllogistic from the standpoint of modern formal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4068699 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3987719 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3486541 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On decision procedures for sentential logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4009140 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof of L-decidability of Lewis system S5 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of rejected propositions. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On proofs of rejection / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:34, 22 May 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