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

From MaRDI portal

Revision as of 21:52, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3133191

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3133191&oldid=16236293"