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)
03-XX: Mathematical logic and foundations
Related Items
A Sequent Systems without Improper Derivations, A Classification of Improper Inference Rules, Possible worlds in use, Matrix approach in methodology of sentential calculi, A survey of nonstandard sequent calculi
Cites Work