On partial and paraconsistent logics
type: Item
instance of: scholarly article
title: On partial and paraconsistent logics
zbMATH Open document ID: 1007.03029
published in: Notre Dame Journal of Formal Logic
publication date: 2002-10-23T00:00:00Z
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 1819624
zbMATH Keywords: partial logics
zbMATH Keywords: interpolation theorem
zbMATH Keywords: sequent calculi
zbMATH Keywords: model existence
zbMATH Keywords: paraconsistent logics
author: Reinhard A. Muskens
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1022615616
OpenAlex ID: W2157041256
cites work: Reasoning with logical bilattices
cites work: Q4840168
cites work: Q4951952
cites work: Q3858244
cites work: Q4342079
cites work: A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
cites work: Systematization of finite many-valued logics through the method of tableaux
cites work: Q4012975
cites work: The Notion of Logical Consequence in the Logic of Inexact Predicates
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Toward useful type-free theories. I
cites work: Bilattices and the semantics of logic programming
cites work: Q4863622
cites work: Q4067100
cites work: Q4289327
cites work: Weak logic theory
cites work: Q5812175
cites work: Q3992553
cites work: Q4395138
cites work: Q3972202
cites work: Sequents in many valued logic I
cites work: Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
cites work: Q4729781
cites work: Q4027734
cites work: Four valued semantics and the Liar
cites work: Paradox, truth and logic. I. Paradox and truth
cites work: Q4283227
DOI: 10.1305/NDJFL/1022615616
description: scientific article; zbMATH DE number 1819624