Notre Dame Journal of Formal Logic 58 (2):221-239 (2017)

Thomas Ferguson
City University of New York
J. Michael Dunn’s Theorem in 3-Valued Model Theory and Graham Priest’s Collapsing Lemma provide the means of constructing first-order, three-valued structures from classical models while preserving some control over the theories of the ensuing models. The present article introduces a general construction that we call a Dunn–Priest quotient, providing a more general means of constructing models for arbitrary many-valued, first-order logical systems from models of any second system. This technique not only counts Dunn’s and Priest’s techniques as special cases, but also provides a generalized Collapsing Lemma for Priest’s more recent plurivalent semantics in general. We examine when and how much control may be exerted over the resulting theories in particular cases. Finally, we expand the utility of the construction by showing that taking Dunn–Priest quotients of a family of structures commutes with taking an ultraproduct of that family, increasing the versatility of the tool.
Keywords Dunn–Priest techniques   model theory  many-valued logic
Categories (categorize this paper)
DOI 10.1215/00294527-3838853
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: 71,199
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

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Minimally Inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.
Plurivalent Logics.Graham Priest - 2014 - Australasian Journal of Logic 11 (1).

View all 17 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Plurivalent Logics.Graham Priest - 2014 - Australasian Journal of Logic 11 (1).
A Characteristic Model For Some Tabular Many-Valued Logics.Marion Mircheva - 1986 - Bulletin of the Section of Logic 15 (4):159-161.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.


Added to PP index

Total views
18 ( #610,804 of 2,517,908 )

Recent downloads (6 months)
1 ( #409,045 of 2,517,908 )

How can I increase my downloads?


My notes