The following pages link to (Q4636024):
Displaying 6 items.
- Some topological properties of paraconsistent models (Q484905) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Paraconsistency, self-extensionality, modality (Q3386899) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900656) (← links)