Abstract
An algebraic characterisation is given of the Mares-Goldblatt semantics for quantified extensions of relevant and modal logics. Some features of this more general semantic framework are investigated, and the relations to some recent work in algebraic semantics for quantified extensions of non-classical logics are considered.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Data Availability Statement
Not applicable.
References
Anderson, A. R., & Belnap, N. D. (1975). Entailment: The Logic of relevance and necessity (Vol. 1). Princeton University Press.
Anderson, A. R., Belnap, N. D., & Dunn, J. M. (1992). Entailment: The logic of relevance and necessity (Vol. 2). Princeton University Press.
Bimbó, K., & Dunn, J. M. (2008). Generalized galois logics: Relational semantics of nonclassical logical calculi. CLSI Publications
Blackburn, P., De Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge University Press.
Chagrov, A., & Zakharyaschev, M. (2001). Modal logic. Oxford University Press.
Cintula, P. (2006). Weakly implicative (Fuzzy) logics I: Basic properties. Archive for Mathematical Logic, 45(6), 673–704.
Cintula, P., & Noguera, C. (2021). Logic and implication: An introduction to the general algebraic study of non-classical logics. Springer
Davey, B. A., & Priestley, H. A. (2002). Introduction to lattices and order. Cambridge University Press.
Dunn, J. M. (2018). In K. Bimbó (Ed.), Algebras of intensional logics. Ph.D. Dissertation, Pittsburgh University, 1966. PhDs in Logic Series, College Publications
Dunn, J. M. (1991). Gaggle theory: An abstraction of galois connections and residuation with applications to negation, implication, and various logical operators. In J. van Eijck (Ed.), Lecture notes in computer science (Vol. 478, pp. 31–51). Springer.
Dunn, J. M., & Hardegree, G. (2001). Algebraic methods in philosophical logic. Oxford University Press.
Ferenz, N. (2019). Quantified modal relevant logics. PhD Dissertation, University of Alberta
Ferenz, N. (2021). Identity in relevant logics: A relevant predication approach. In M. Blicha & I. Sedlár (Eds.), Logica yearbook 2020 (pp. 49–64). College Publications.
Ferenz, N. (2021). Quantified modal relevant logics. Review of Symbolic Logic. Online first
Fine, K. (1988). Semantics for quantified relevance logic. Journal of Philosophical Logic, 17, 27–59.
Fine, K. (1989). Incompleteness for quantified relevance logics. In J. Norman & R. Sylvan (Eds.), Directions in relevant logic (pp. 205–225). Kluwer.
Font, J. M. (2016). Abstract algebraic logic: An introductory textbook. College Publications
Goldblatt, R., & Mares, E. D. (2006). A general semantics for quantified modal logic. In M. Kracht, M. de Rijke, H. Wansing, & M. Zakharyaschev (Eds.), Advances in modal logic (Vol. 6, pp. 227–246). CSLI Publications.
Goldblatt, R. (2011). Quantifiers, propositions and identity: Admissible semantics for quantified modal and substructural logics. Cambridge University Prss
Halmos, P. R. (2016). Algebraic logic. Dover Publications
Harding, J. (2008). Completions of ordered algebraic structures: A survey. In V. N. Huynh, Y. Nakamori, H. Ono, J. Lawry, V. Kreinovich, & H. T. Nguyen (Eds.), Interval/Probabilistic uncertainty and non-classical logics (pp. 231–244). Springer.
Humberstone, L. (2011). The connectives. MIT Press.
Logan, S. A. (2019). Notes on stratified semantics. Journal of Philosophical Logic, 48, 749–786.
Logan, S. A. (2020). Hyperdoctrines and the ontology of stratified semantics. In D. Fazio, A. Ledda, & F. Paoli (Eds.), Algebraic perspectives on substructural logics (pp. 169–193). Springer.
Logan, S. A., & Leach-Krouse, G. (2021). On not saying what we shouldn’t have to say. Australasian Journal of Logic, 18(5), 524–568.
Mares, E. D., & Goldblatt, R. (2006). An alternative semantics for quantified relevant logic. Journal of Symbolic Logic, 71(1), 163–187.
Meyer, R. K. (1966). Topics in modal and many-valued logics. Ph.D. Dissertation, University of Pittsburgh
Morton, W., & van Alten, C. J. (2018). Distributive and completely distributive lattice extensions of ordered sets. International Journal of Algebra and Computation, 28(3), 521–541.
Punčochář, V. (2020). A relevant logic of questions. Journal of Philosophical Logic, 49, 905–939.
Rasiowa, H. (1951). Algebraic treatment of the functional calculi of heyting and lewis. Fundamenta Mathematica, 38, 99–126.
Rauszer, C. (1974). Semi-boolean algebras and their applications to intuitionistic logic with dual operations. Fundamenta Mathematica, 83, 219–249.
Restall, G. (1995). Display logic and gaggle theory. Reports on Mathematical Logic, 29, 133–146.
Restall, G. (2005). Constant domain quantified modal logics without boolean negation. Australasian Journal of Logic, 3, 45–62.
Restall, G., & Standefer, S. (2022). Collection frames for distributive substructural logics. Review of Symbolic Logic. Online first
Routley, R., & Meyer, R. K. (1973). The semantics of entailment - I. In H. Leblanc (Ed.), Truth, syntax and modality (pp. 199–243). North-Holland.
Routley, R., & Meyer, R. K. (1975). Towards a general semantical theory of implication and conditionals. I. Systems with normal conjunctions and disjunctions and aberrant and normal negations. Reports on Mathematical Logic, 4, 67–89.
Routley, R. (1980). Problems and solutions in the semantics of quantified relevant logics - I. In Arruda, Chuaqui, & da Costa (Eds.), Proceedings of the fourth latin American symposium on mathematical logic (pp. 305–340). North Holland
Smiley, T. (1963). Relative necessity. Journal of Symbolic Logic, 28(2), 113–134.
Standefer, S. (2021). Identity in Mares-Goldblatt models for quantified relevant logic. Journal of Philosophical Logic, 50, 1389–1415.
Tedder, A. (2022) Situations, propositions, and information states. In K. Bimbó (Ed.), Relevance logics and other tools for reasoning: essays in honor of J. Michael Dunn (pp. 410–426). College Publications
Tedder, A., & Ferenz, N. (2022). Neighbourhood semantics for quantified relevant logics. Journal of Philosophical Logic, 51, 457–484.
Tzimoulis, A. (2018). Algebraic and proof-theoretic foundations of the logics for social behaviour. Dissertation, Delft University of Technology
Wansing, H. (1998). Displaying modal logic. Springer.
Acknowledgements
Thanks to Marta Bilková, Nicholas Ferenz, Shay Allen Logan, Franci Mangraviti, Hrafn Oddsson, Francesco Paoli, Grace Paterson, Greg Restall, Shawn Standefer, Yde Venema, Jamie Wannenburg, and audiences in Utrecht, Louvain-la-Neuve, St. Andrews, and at the Australasian Association of Logic and Logica conferences for helpful discussion, as well as to an anonymous referee for the journal. I gratefully acknowledge the Humboldt foundation for fellowship funding.
Funding
Open access funding provided by University of Vienna. Tedder gratefully acknowledges fellowship funding from the Alexander von Humboldt foundation.
Author information
Authors and Affiliations
Contributions
Not applicable.
Corresponding author
Ethics declarations
Ethical Approval
Not applicable.
Competing Interest Statement
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tedder, A. An Algebraic View of the Mares-Goldblatt Semantics. J Philos Logic 53, 331–349 (2024). https://doi.org/10.1007/s10992-023-09726-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-023-09726-3