A formal theory of the logical values. I
From MaRDI portal
Publication:2531861
DOI10.1007/BF02547932zbMath0173.00402MaRDI QIDQ2531861
Publication date: 1957
Published in: Studia Logica (Search for Journal in Brave)
Related Items (5)
A Sequent Systems without Improper Derivations ⋮ A Classification of Improper Inference Rules ⋮ Possible worlds in use ⋮ A survey of nonstandard sequent calculi ⋮ Matrix approach in methodology of sentential calculi
Cites Work
This page was built for publication: A formal theory of the logical values. I
