Paraconsistent double negations as classical and intuitionistic negations
type: Item
instance of: scholarly article
title: Paraconsistent double negations as classical and intuitionistic negations
zbMATH Open document ID: 1417.03193
author: Norihiro Kamide
published in: Studia Logica
publication date: 2017-12-14T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6818674
zbMATH Keywords: paraconsistent logic
zbMATH Keywords: negation
zbMATH Keywords: sequent calculus
zbMATH Keywords: embedding
MaRDI profile type: Publication
full work available at URL: s11225-017-9731-2
OpenAlex ID: W2619935969
cites work: Constructible falsity and inexact predicates
cites work: Q3206928
cites work: Paraconsistent logic from a modal viewpoint
cites work: Q3018991
cites work: Classical negation and expansions of Belnap-Dunn logic
cites work: Q3218105
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Intuitionistic logic with strong negation
cites work: A hierarchy of weak double negations
cites work: Trilattice logic: an embedding-based approach
cites work: Paraconsistent double negation as a modal operator
cites work: Embedding from multilattice logic into classical logic and vice versa
cites work: Constructible falsity
cites work: The class of extensions of Nelson's paraconsistent logic
cites work: Q3858239
cites work: Truth, Falsehood, Information and Beyond: The American Plan Generalized
cites work: Q5813184
DOI: 10.1007/S11225-017-9731-2
description: scientific article; zbMATH DE number 6818674