Pages that link to "Item:Q3386922"
From MaRDI portal
The following pages link to An axiomatic approach to <b>CG</b>′3 logic (Q3386922):
Displaying 5 items.
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) (Q828777) (← links)
- Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430) (← links)
- (Q3469088) (← links)
- All splitting logics in the lattice NEXT(KTB.3'A) (Q5040690) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)