One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property

DOI10.1093/logcom/exw029zbMath1444.03101OpenAlexW2566693696MaRDI QIDQ3133191

Silvio Ghilardi, Nick Bezhanishvili, 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

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

Related Items (2)

Intermediate logics admitting a structural hypersequent calculus ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS

This page was built for publication: One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property