One-step Heyting algebras and hypersequent calculi with the bounded proof property

DOI10.1093/LOGCOM/EXW029zbMATH Open1444.03101OpenAlexW2566693696MaRDI QIDQ3133191FDOQ3133191

Authors: Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen 

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2e88e4c8847f66aed0c201b883bbe135e73a1153

Recommendations

• Hypersequent calculi for some intermediate logics with bounded Kripke models
• Bounded proofs and step frames
• The bounded proof property via step algebras and step frames
• Bounded sequent calculi for non-classical logics via hypersequents
• scientific article; zbMATH DE number 6863852

Mathematics Subject Classification ID

Intermediate logics (03B55) Structure of proofs (03F07) Heyting algebras (lattice-theoretic aspects) (06D20)

Cited In (4)

• Intermediate logics admitting a structural hypersequent calculus
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• The bounded proof property via step algebras and step frames
• Bounded proofs and step frames

This page was built for publication: One-step Heyting algebras and hypersequent calculi with the bounded proof property

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