scientific article; zbMATH DE number 3236052

zbMath0146.24604MaRDI QIDQ5523672

Tsutomu Hosoi

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

classical propositional logicseparation theoremGentzen's cut elimination theorem

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (6)

On the separation theorem of intermediate propositional calculi ⋮ Axiomatization of models for intermediate logics constructed with Boolean models by piling up ⋮ Separability of normalizable superintuitionistic propositional logics ⋮ On sequence-conclusion natural deduction systems ⋮ Algebraic proof of the separation theorem on classical propositional calculus ⋮ An alternative normalization of the implicative fragment of classical logic

This page was built for publication: