Pages that link to "Item:Q1309339"
From MaRDI portal
The following pages link to A tableau style proof system for two paraconsistent logics (Q1309339):
Displaying 9 items.
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- Tableau systems for paraconsistency and minimal inconsistency (Q1127720) (← links)
- Tableaux for logics of content relationship and set-assignment semantics (Q2169132) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- Table-analytical axiomatizations of expansions of logic Par (Q2811659) (← links)
- (Q3112294) (← links)
- Relevance-Sensitive Truth-Trees (Q5027231) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187856) (← links)