Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
type: Item
instance of: scholarly article
title: Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
zbMATH Open document ID: 1396.03045
author: Yanyan Li
published in: Journal of Logic, Language and Information
publication date: 2017-08-07T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6757161
zbMATH Keywords: many-valued logics
zbMATH Keywords: modal many-valued logics
zbMATH Keywords: Łukasiewicz many-valued logics
zbMATH Keywords: Łukasiewicz 4-valued modal logic
zbMATH Keywords: Brady's 4-valued logic
zbMATH Keywords: bilattice logics
zbMATH Keywords: Belnap-Dunn type bivalent semantics
describes a project that uses: MaTest
MaRDI profile type: Publication
full work available at URL: s10849-016-9237-8
OpenAlex ID: W2293191596
cites work: Q4085699
cites work: Reasoning with logical bilattices
cites work: The value of the four values
cites work: Q3206928
cites work: Q3962967
cites work: Q4961804
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: An abstract algebraic logic approach to tetravalent modal logics
cites work: Q5474628
cites work: Q2901198
cites work: Kripke Semantics for Modal Bilattice Logic
cites work: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
cites work: Q5805951
cites work: Q5823282
cites work: Q5613169
cites work: A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
cites work: An interpretation of Łukasiewicz's 4-valued modal logic
cites work: Where gamma fails
cites work: A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
cites work: Q3701398
cites work: Inconsistency Tolerance
cites work: Q3105690
DOI: 10.1007/S10849-016-9237-8
Recommended article: Modal extension of ideal paraconsistent four-valued logic and its subsystem
Recommended article: A four-valued hybrid logic with non-dual modal operators
Recommended article: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4
Recommended article: Q3018991
Recommended article: A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
Recommended article: The B4-valued propositional Belnap-Dunn logic1
Recommended article: О свойствах одного класса четырехзначных паранормальных логик
Recommended article: A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
Recommended article: Four-valued paradefinite logics
Recommended article: Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
description: scientific article; zbMATH DE number 6757161