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

DOI10.1093/LOGCOM/EXW029MaRDI QIDQ3133191zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)