A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
type: Item
instance of: scholarly article
title: A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
zbMATH Open document ID: 1373.03026
author: N. E. Zubov
published in: Logica Universalis
publication date: 2015-12-07T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 6516569
zbMATH Keywords: many-valued logics
zbMATH Keywords: modal logics
zbMATH Keywords: paraconsistent logics
zbMATH Keywords: paracomplete logics
zbMATH Keywords: 4-valued modal logics
zbMATH Keywords: Łukasiewicz 4-valued modal logic
zbMATH Keywords: Belnap-Dunn type semantics
MaRDI profile type: Publication
full work available at URL: s11787-015-0130-z
OpenAlex ID: W2144197173
cites work: Begründung einer strengen Implikation
cites work: Q4085699
cites work: Q4487295
cites work: How a Computer Should Think
cites work: Q3206928
cites work: Q3962967
cites work: Q4961804
cites work: Logics of Formal Inconsistency
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Partiality and its dual
cites work: On Łukasiewicz's four-valued modal logic
cites work: Proof systems combining classical and paraconsistent negations
cites work: Jaśkowski's criterion and three-valued paraconsistent logics
cites work: Q5805951
cites work: Q5823282
cites work: Q5613169
cites work: Q5320764
cites work: An interpretation of Łukasiewicz's 4-valued modal logic
cites work: Q3435252
cites work: Q5411434
cites work: Handbook of philosophical logic. Vol. 6
cites work: The basic constructive logic for a weak sense of consistency
cites work: A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
cites work: The Semantics of First Degree Entailment
cites work: Q3701398
cites work: A Lattice of Implicative Extensions of Regular Kleene's Logics
cites work: Q3105690
cites work: Q4887106
cites work: Finitely many-valued paraconsistent systems
DOI: 10.1007/S11787-015-0130-Z
description: scientific article; zbMATH DE number 6516569