Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
type: Item
instance of: scholarly article
title: Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
author: Alejandro Hernández-Tello
author: Miguel Pérez-Gaspar
author: Verónica Borja Macías
published in: Logica Universalis
publication date: 2021-05-05T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 7344024
zbMATH Keywords: genuine paraconsistent logic
zbMATH Keywords: Hilbert-type system
zbMATH Keywords: non-classical logics
MaRDI profile type: Publication
full work available at URL: s11787-021-00269-2
OpenAlex ID: W3134453612
cites work: Maximal and premaximal paraconsistency in the framework of three-valued semantics
cites work: Q4440578
cites work: Q4329284
cites work: Two Genuine 3-Valued Paraconsistent Logics
cites work: Strong Three-Valued Paraconsistent Logics
cites work: Q4639914
cites work: Logics of Formal Inconsistency
cites work: Maximality in finite-valued Łukasiewicz logics defined by order filters
cites work: On the theory of inconsistent formal systems
cites work: The pursuit of an implication for the logics L3A and L3B
cites work: Q5320764
cites work: Synonymous logics
DOI: 10.1007/S11787-021-00269-2
Recommended article: Two Genuine 3-Valued Paraconsistent Logics
Recommended article: Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
Recommended article: A paraconsistent 3-valued logic related to Godel logic G3
Recommended article: On the axiomatization of three-valued propositional logic
Recommended article: Q4542600
Recommended article: Q3830973
Recommended article: Three-Valued Paraconsistent Propositional Logics
Recommended article: Partial and paraconsistent three-valued logics
Recommended article: An axiomatic approach to CG′3 logic
Recommended article: A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
description: scientific article; zbMATH DE number 7344024