Pages that link to "Item:Q3419671"
From MaRDI portal
The following pages link to Literal-paraconsistent and literal-paracomplete matrices (Q3419671):
Displaying 8 items.
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
- First order theory for literal-paraconsistent and literal-paracomplete matrices (Q3583806) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics (Q4999462) (← links)
- О критерии паранормальности для $n$-значных логических матриц (Q5059701) (← links)
- Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик (Q5061421) (← links)
- К вопросу о критерии паранепротиворечивости логик (Q5882768) (← links)