Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models

DOI10.1093/logcom/11.2.283zbMath0989.03026OpenAlexW2062335537MaRDI QIDQ2720315

Agata Ciabattoni, Mauro Ferrari

Publication date: 14 July 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

Kripke modelcut-eliminationintermediate logicGentzen systemhypersequentfinite-valued Gödel logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)

Related Items (4)

Intermediate logics admitting a structural hypersequent calculus ⋮ Through an Inference Rule, Darkly ⋮ Unnamed Item ⋮ Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

This page was built for publication: Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models