The following pages link to (Q3142560):
Displayed 14 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)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← links)
- Calculi for many-valued logics (Q2045004) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← 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)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)