Studia Logica 107 (2):283-312 (2019)
Abstract |
A deterministic weakening \ of the Belnap–Dunn four-valued logic \ is introduced to formalize the acceptance and rejection of a proposition at a state in a linearly ordered informational frame with persistent valuations. The logic \ is formalized as a sequent calculus. The completeness and decidability of \ with respect to relational semantics are shown in terms of normal forms. From an algebraic perspective, the class of all algebras for \ is described, and found to be a subvariety of Berman’s variety \. Every linearly ordered frame is logically equivalent to its dual algebra. It is proved that \ is the logic of a nine-element distributive lattice with a negation. Moreover, \ is embedded into \ by Glivenko’s double-negation translation.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s11225-018-9792-x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
How a Computer Should Think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
Intuitive Semantics for First-Degree Entailments and 'Coupled Trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
View all 21 references / Add more references
Citations of this work BETA
Countably Many Weakenings of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2020 - Studia Logica 108 (2):163-198.
Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.
Finite Axiomatizability of Logics of Distributive Lattices with Negation.Sérgio Marcelino & Umberto Rivieccio - forthcoming - Logic Journal of the IGPL.
Neighbourhood Semantics for FDE-Based Modal Logics.S. Drobyshevich & D. Skurt - 2021 - Studia Logica 109 (6):1273-1309.
A Paraconsistent Conditional Logic.Minghui Ma & Chun-Ting Wong - 2020 - Journal of Philosophical Logic 49 (5):883-903.
View all 6 citations / Add more citations
Similar books and articles
Reductio Ad Contradictionem: An Algebraic Perspective.Adam Přenosil - 2016 - Studia Logica 104 (3):389-415.
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.
Rivals to Belnap–Dunn Logic on Interlaced Trilattices.Thomas M. Ferguson - 2017 - Studia Logica 105 (6):1123-1148.
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Font - 1997 - Logic Journal of the IGPL 5 (3):105-134.
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
Weakening of Intuitionistic Negation for Many-Valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
Characterizing Belnap's Logic Via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.
Power Matrices and Dunn--Belnap Semantics: Reflections on a Remark of Graham Priest.Lloyd Humberstone - 2014 - Australasian Journal of Logic 11 (1).
Analytics
Added to PP index
2018-03-23
Total views
30 ( #381,417 of 2,507,886 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,886 )
2018-03-23
Total views
30 ( #381,417 of 2,507,886 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,886 )
How can I increase my downloads?
Downloads