Brief study of G'3 logic
type: Item
instance of: scholarly article
title: Brief study of G'3 logic
zbMATH Open document ID: 1180.03031
author: Mauricio Osorio Galindo
author: José Luis Carballido Carranza
published in: Journal of Applied Non-Classical Logics
publication date: 2009-11-11T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 5629413
zbMATH Keywords: paraconsistent logic
zbMATH Keywords: axiomatization
MaRDI profile type: MaRDI publication profile
full work available at URL: jancl.18.475-499
OpenAlex ID: W1994590553
cites work: Natural 3-valued logics—characterization and proof theory
cites work: Paraconsistent logic from a modal viewpoint
cites work: On the theory of inconsistent formal systems
cites work: Non-monotonic logic. I
cites work: Ground Nonmonotonic Modal Logic S5: New Results
cites work: Logics with Common Weak Completions
cites work: Stable inference as intuitionistic validity
DOI: 10.3166/JANCL.18.475-499
Recommended article: Proof systems for 3-valued logics based on Gödel's implication
Recommended article: A paraconsistent 3-valued logic related to Gödel logic G3
Recommended article: \(\mathbf{G}_3'\) as the logic of modal 3-valued Heyting algebras
Recommended article: Q4724601
Recommended article: A simple Henkin-style completeness proof for Gödel 3-valued logic G3
description: scientific article; zbMATH DE number 5629413