Gentzen-type formulation of the propositional logic LQ

DOI10.1007/BF00374051zbMath0658.03016MaRDI QIDQ1111545

Tsutomu Hosoi

Publication date: 1988

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

sequent calculiintermediate logiccut-elemination

Mathematics Subject Classification ID

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

Related Items (1)

Intermediate logics admitting a structural hypersequent calculus

Cites Work

• A cut-free Gentzen-type system for the logic of the weak law of excluded middle
• Pseudo two-valued evaluation method for intermediate logics
• Untersuchungen über das logische Schliessen. I

This page was built for publication: Gentzen-type formulation of the propositional logic LQ