Pages that link to "Item:Q2946751"
From MaRDI portal
The following pages link to Taming Paraconsistent (and Other) Logics (Q2946751):
Displaying 11 items.
- Taming logic (Q1909607) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Some recent applications of paraconsistent systems to AI (Q2753263) (← links)
- Table-analytical axiomatizations of expansions of logic Par (Q2811659) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- (Q3112294) (← links)
- Paraconsistent intelligent systems of computer logics (Q4007390) (← links)
- (Q4708928) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- (Q5855501) (← links)