scientific article; zbMATH DE number 3269848
From MaRDI portal
Publication:5554943
zbMath0168.24703MaRDI QIDQ5554943
No author found.
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) ⋮ Leon Henkin the Reviewer ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Normal proofs, cut free derivations and structural rules ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Many-valued logics ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ A temporal semantics for nilpotent minimum logic
This page was built for publication:
