The following pages link to (Q3279278):
Displaying 9 items.
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← links)
- Trees and diagrams of decomposition (Q1066888) (← links)
- Socratic proofs (Q1876085) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Socratic proofs for quantifiers (Q2499290) (← links)
