The following pages link to Miguel Pérez-Gaspar (Q828776):
Displaying 8 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)
- (Q2082258) (redirect page) (← links)
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras (Q2082260) (← links)
- An axiomatic approach to <b>CG</b>′3 logic (Q3386922) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- (Q5039189) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)
