Almost duplication-free tableau calculi for propositional lax logics

DOI10.1007/3-540-61208-4_4MaRDI QIDQ4645225zbMATH OpenOpenAlexFDO

Authors Alessandro Avellone, Mauro Ferrari

Publication date 10 January 2019

Published in Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61208-4_4

zbMATH Keywords

duplicationsintuitionistic modal logicsrefutation systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 2079039
• Proof search in lax logic
• Free variable tableaux for propositional modal logics
• Propositional lax logic
• scientific article; zbMATH DE number 2090289

Cites work

• A uniform tableau method for intuitionistic modal logics. I
• An improved refutation system for intuitionistic predicate logic
• Constructivism in mathematics. An introduction. Volume I
• Cut-free tableau calculi for some intuitionistic modal logics
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 2079039 (Why is no real title available?)
• Models for normal intuitionistic modal logics
• On modal logic with an intuitionistic base
• Proof methods for modal and intuitionistic logics
• Semantical investigations in Heyting's intuitionistic logic
• The elimination theorem when modality is present

Cited in

(9)

• Propositional lax logic
• Proof search in lax logic
• Simplification Rules for Intuitionistic Propositional Tableaux
• scientific article; zbMATH DE number 2024622 (Why is no real title available?)
• scientific article; zbMATH DE number 2079039 (Why is no real title available?)
• Free variable tableaux for propositional modal logics
• scientific article; zbMATH DE number 1361525 (Why is no real title available?)
• Computer Science Logic
• scientific article; zbMATH DE number 5661162 (Why is no real title available?)

This page was built for publication: Almost duplication-free tableau calculi for propositional lax logics

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