scientific article

zbMath0089.00602MaRDI QIDQ3262211

Kazuo Matsumoto, Masao Ohnishi

Publication date: 1959

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

zbMATH Keywords

foundations of mathematics, philosophy, logic

Related Items (13)

Modal multilattice logic ⋮ Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Full classical S5 in natural deduction with weak normalization ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 ⋮ The Method of Tree-Hypersequents for Modal Propositional Logic ⋮ Sequential method in propositional dynamic logic ⋮ Unnamed Item ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

This page was built for publication: