Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
type: Item
instance of: scholarly article
title: Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
zbMATH Open document ID: 1182.03060
author: D. Kharzeev
published in: Journal of Logic, Language and Information
publication date: 2009-10-21T00:00:00Z
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 5619187
zbMATH Keywords: consistency
zbMATH Keywords: paraconsistent logics
zbMATH Keywords: constructive negation
zbMATH Keywords: substructural logics
zbMATH Keywords: ternary relational semantics
describes a project that uses: MaGIC
MaRDI profile type: Publication
full work available at URL: s10849-009-9085-x
OpenAlex ID: W2075250104
cites work: Q4085699
cites work: Mutual definability does not imply definitional equivalence, a simple example
cites work: On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
cites work: A propositional calculus with denumerable matrix
cites work: What is strict implication?
cites work: The basic constructive logic for absolute consistency
cites work: Intuitionistic propositional logic without `contraction' but with `reductio'
cites work: Q5411405
cites work: Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
cites work: The basic constructive logic for negation-consistency
cites work: Q3435241
cites work: The basic constructive logic for a weak sense of consistency
cites work: The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant
cites work: Q3701398
DOI: 10.1007/S10849-009-9085-X
description: scientific article; zbMATH DE number 5619187