The following pages link to (Q5554943):
Displaying 8 items.
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Many-valued logics (Q5906778) (← links)