- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Unification via Projectivity in Varieties of Hoops
In Melanija Mitrović & Mahouton Norbert Hounkonnou, Algebra Without Borders: Classical and Constructive Semigroups and Applications. Cham: Springer Nature Switzerland. pp. 181-208 (2025)
Abstract
This chapter is a survey on projective algebras in varieties of hoops and their connection to unification problems for the logics of which they are the equivalent algebraic semantics.Other Versions
No versions found
My notes
Similar books and articles
Free Constructions in Hoops via $$\ell $$-Groups.Valeria Giustarini, Francesco Manfucci & Sara Ugolini - 2025 - Studia Logica 113 (5):1317-1365.
Free Constructions in Hoops via ℓ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ell $$\end{document}-Groups: Free Constructions in Hoops.. [REVIEW]Sara Ugolini, Francesco Manfucci & Valeria Giustarini - 2024 - Studia Logica 113 (5):1317-1365.
Unification, finite duality and projectivity in varieties of Heyting algebras.Silvio Ghilardi - 2004 - Annals of Pure and Applied Logic 127 (1-3):99-115.
Unification in some Substructural Logics of BL-algebras and Hoops.Wojciech Dzik - 2008 - Reports on Mathematical Logic.
Unification and projectivity in Fregean varieties.Katarzyna Słomczyńska - 2012 - Logic Journal of the IGPL 20 (1):73-93.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.Vincenzo Marra & Luca Spada - 2013 - Annals of Pure and Applied Logic 164 (3):192-210.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153-180.
On Actions and Split Extensions in Varieties of Hoops: The Case of Strong Section.Manuel Mancini, Giuseppe Metere & Federica Piazza - forthcoming - Studia Logica:1-38.
Decidable Varieties Of Hoops.Stanley Burris & Isabel Ferreirim - 1994 - Reports on Mathematical Logic:53-59.
Three Themes in the Development of Classical Semigroup Theory.Christopher D. Hollings - 2025 - In Melanija Mitrović & Mahouton Norbert Hounkonnou, Algebra Without Borders: Classical and Constructive Semigroups and Applications. Cham: Springer Nature Switzerland. pp. 3-34.
Analytics
Added to PP
2025-09-28
Downloads
17 (#1,902,317)
6 months
11 (#1,035,576)
2025-09-28
Downloads
17 (#1,902,317)
6 months
11 (#1,035,576)
Historical graph of downloads
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation