Pages that link to "Item:Q995673"
From MaRDI portal
The following pages link to Tableaux and dual tableaux: transformation of proofs (Q995673):
Displaying 3 items.
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Dual tableau-based decision procedures for relational logics with restricted composition operator (Q2901210) (← links)
