Studia Logica 107 (2):283-312 (2019)

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)
DOI 10.1007/s11225-018-9792-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,337
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

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.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.

View all 21 references / Add more references

Citations of this work BETA

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

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.
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.
Characterizing Belnap's Logic Via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.


Added to PP index

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?


My notes