Paraconsistent logics and translations
type: Item
instance of: scholarly article
title: Paraconsistent logics and translations
zbMATH Open document ID: 0969.03042
DOI: 10.1023/A:1005298624839
author: Itala D'Ottaviano
author: Hércules A. Feitosa
published in: Synthese
publication date: 2001-06-21T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 1568511
zbMATH Keywords: classical propositional logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: three-valued logic
zbMATH Keywords: paraconsistent logic
zbMATH Keywords: conservative translation between logics
zbMATH Keywords: category
MaRDI profile type: Publication
cites work: Translations between logical systems: A manifesto
cites work: Q4287778
cites work: Q5728439
cites work: Q4249037
cites work: Q5596218
cites work: Q4722043
cites work: Q5753932
cites work: Many-Valued Logics and Translations
cites work: Q3995890
cites work: Q3474641
cites work: Q5581592
cites work: An algebraic approach to non-classical logics
cites work: Q4777260
cites work: Maximal weakly-intuitionistic logics
cites work: Q5610986
cites work: Theory of logical calculi. Basic theory of consequence operations
full work available at URL: a:1005298624839
OpenAlex ID: W1489330838
description: scientific article; zbMATH DE number 1568511