A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic

DOI10.1093/JIGPAL/JZM004MaRDI QIDQ5435200zbMATH OpenOpenAlexFDO

Authors Ryo Ishigaki, Kentaro Kikuchi

Publication date 14 January 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzm004

zbMATH Keywords

axiomatizationcompletenessKripke modelspredicate logictree-sequent calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Tree-Sequent Methods for Subintuitionistic Predicate Logics
• A predicate logical extension of a subintuitionistic propositional logic
• On the predicate logic of linear Kripke frames and some of its extensions
• scientific article; zbMATH DE number 2024636
• Predicate logical extensions of some subintuitionistic logics

Cited in

(3)

• Alternative semantics for Visser's propositional logics
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Tree-Sequent Methods for Subintuitionistic Predicate Logics

This page was built for publication: A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic

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