The following pages link to (Q3142560):
Displayed 7 items.
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518) (← links)
- Combining many-valued and intuitionistic tableaux (Q4645226) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (Q4647557) (← links)