Pages that link to "Item:Q1063585"
From MaRDI portal
The following pages link to Introduction: Paraconsistent logics (Q1063585):
Displaying 7 items.
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Reasoning about truth (Q908899) (← links)
- Measures of inconsistency and defaults (Q991003) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Remarks on counterpossibles (Q2442127) (← links)
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics (Q4706115) (← links)
