The following pages link to (Q3086692):
Displaying 7 items.
- Modular semantics for theories: an approach to paraconsistent reasoning (Q1633217) (← links)
- On the Propagation of Consistency in Some Systems of Paraconsistent Logic (Q3295789) (← links)
- ${LFIs}$ and methods of classical recapture (Q3386895) (← links)
- Volume II: New advances in Logics of Formal Inconsistency (Q3386898) (← links)
- Fraïssé’s theorem for logics of formal inconsistency (Q3386912) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- On congruence modularity in varieties of logic. (Q5932592) (← links)