Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
type: Item
instance of: scholarly article
title: Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
zbMATH Open document ID: 1485.03060
author: Norihiro Kamide
published in: Journal of Philosophical Logic
publication date: 2021-05-07T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7345793
zbMATH Keywords: Nelson's paraconsistent four-valued logic N4
zbMATH Keywords: Wansing's basic constructive connexive logic C
zbMATH Keywords: Arieli
zbMATH Keywords: Avron
zbMATH Keywords: and Zamansky's ideal paraconistent four-valued logic 4CC
zbMATH Keywords: Kripke-completeness theorem
zbMATH Keywords: cut-elimination theorem
MaRDI profile type: Publication
full work available at URL: s10992-020-09553-w
OpenAlex ID: W3017308489
cites work: Constructible falsity and inexact predicates
cites work: A propositional logic with subjunctive conditionals
cites work: Reasoning with logical bilattices
cites work: The value of the four values
cites work: Q5369472
cites work: Four-valued paradefinite logics
cites work: Ideal paraconsistent logics
cites work: Q4686539
cites work: Q3858244
cites work: Q3086715
cites work: Classical negation and expansions of Belnap-Dunn logic
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: What is negation?
cites work: Q5610986
cites work: Intuitionistic logic with strong negation
cites work: Trilattice logic: an embedding-based approach
cites work: Embedding from multilattice logic into classical logic and vice versa
cites work: Proof theory of Nelson's paraconsistent logic: a uniform perspective
cites work: Q5175691
cites work: Yet another paradefinite logic: The role of conflation1
cites work: Connexive implication
cites work: Constructible falsity
cites work: Handbook of philosophical logic. Vol. 6
cites work: Q3858239
cites work: Truth, Falsehood, Information and Beyond: The American Plan Generalized
cites work: Some useful 16-valued logics: How a computer network should think
cites work: Q5813184
cites work: The logic of information structures
cites work: Q5483018
cites work: On the Methodology of Paraconsistent Logic
DOI: 10.1007/S10992-020-09553-W
description: scientific article; zbMATH DE number 7345793