The following pages link to (Q5283963):
Displaying 11 items.
- Paranegations and the square of oppositions (Q2695542) (← links)
- Conditions for the applicability of classical logic in the framework of languages of nonclassical logics (Q2751825) (← links)
- Paraconsistency and Sette’s calculus P1 (Q2987739) (← links)
- On the restricted equivalence for subclasses of propositional logic (Q3142267) (← links)
- (Q4440798) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics (Q4999462) (← links)
- Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик (Q5061421) (← links)
- <i>n</i>-valued maximal paraconsistent matrices (Q5379323) (← links)
