Pages that link to "Item:Q2987739"
From MaRDI portal
The following pages link to Paraconsistency and Sette’s calculus P1 (Q2987739):
Displaying 7 items.
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← 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 the system CB1 and a lattice of the paraconsistent calculi (Q5006825) (← links)
- <i>n</i>-valued maximal paraconsistent matrices (Q5379323) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)
