scientific article; zbMATH DE number 1922478

zbMATH Open1025.03009MaRDI QIDQ4484080FDOQ4484080

Authors: Tomasz Skura 

Publication date: 2 June 2003

Title of this publication is not available (Why is that?)

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

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)

Cited In (16)

• Title not available (Why is that?)
• On pairs of dual consequence operations
• 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
• Title not available (Why is that?)
• 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)