The method of axiomatic rejection for the intuitionistic propositional logic

DOI10.1007/BF00370199zbMath0714.03007MaRDI QIDQ750414

Rafał Dutkiewicz

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicaxiomatic system for the sets of rejected formulasintuitionistic sentential calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (10)

Refutation systems in modal logic ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ A sequent calculus for skeptical Default Logic ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Paraconsistency in classical logic ⋮ Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview ⋮ A meta-logic of inference rules: Syntax ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Sequent calculi for default and autoepistemic logics ⋮ The Procedures for Belief Revision

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• On maximal intermediate logics with the disjunction property
• Proof of L-decidability of Lewis system S5
• On proofs of rejection
• Theory of rejected propositions. I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The method of axiomatic rejection for the intuitionistic propositional logic