scientific article; zbMATH DE number 1922478

MaRDI QIDQ4484080zbMATH OpenFDO

Authors Tomasz Skura

Publication date 2 June 2003

zbMATH Keywords

intuitionistic logicmodal logic S4refutation rulesnonclassical propositional logicsGrzegorczyk logic Grzsyntactic refutations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Refutations, proofs, and models in the modal logic K4
• Refutation systems in modal logic
• An improved refutation system for intuitionistic predicate logic
• scientific article; zbMATH DE number 1941685
• scientific article; zbMATH DE number 4158595

Cited in

(16)

• On pairs of dual consequence operations
• scientific article; zbMATH DE number 1941685 (Why is no real title available?)
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• A generalisation of a refutation-related method in paraconsistent logics
• An improved refutation system for intuitionistic predicate logic
• Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
• Rules and Refutation Rules for the Logic of Finite n-ary Trees
• Refutations, proofs, and models in the modal logic K4
• Paraconsistency in classical logic
• Sequent-type rejection systems for finite-valued non-deterministic logics
• scientific article; zbMATH DE number 7599927 (Why is no real title available?)
• Admissibility and refutation: some characterisations of intermediate logics
• Refutation calculi for certain intermediate propositional logics
• Foundations for the formalization of metamathematics and axiomatizations of consequence theories
• Refutation systems in modal logic
• Syntactic refutations against finite models in modal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484080)