- 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
Equivalential Algebras with Conjunction on Dense Elements
Bulletin of the Section of Logic 51 (4):535-554 (2022)
Abstract
We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Free Spectra of Equivalential Algebras with Conjunction on Dense Elements.Sławomir Przybyło & Katarzyna Słomczyńska - 2024 - Bulletin of the Section of Logic 53 (3):399-418.
Algebraic semantics for the ‐fragment of and its properties.Katarzyna Słomczyńska - 2017 - Mathematical Logic Quarterly 63 (3-4):202-210.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.
Algebraic semantics for the (↔,¬¬)‐fragment of IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.
An axiomatization of the variety of equivalential algebras by a single identity.Jacek Kabzinski - 1977 - Bulletin of the Section of Logic 6 (3):102-106.
SKI, An axiomatization of the variety of equivalential algebras by a single identity.Jk Kabzi - 1977 - Bulletin of the Section of Logic 6 (3):102-105.
An algebraic approach to subframe logics. Intuitionistic case.Guram Bezhanishvili & Silvio Ghilardi - 2007 - Annals of Pure and Applied Logic 147 (1):84-100.
Functional representation of finitely generated free algebras in subvarieties of BL-algebras.Manuela Busaniche, José Luis Castiglioni & Noemí Lubomirsky - 2020 - Annals of Pure and Applied Logic 171 (2):102757.
Analytics
Added to PP
2023-01-14
Downloads
13 (#1,318,762)
6 months
5 (#1,035,700)
2023-01-14
Downloads
13 (#1,318,762)
6 months
5 (#1,035,700)
Historical graph of downloads
Citations of this work
Free Spectra of Equivalential Algebras with Conjunction on Dense Elements.Sławomir Przybyło & Katarzyna Słomczyńska - 2024 - Bulletin of the Section of Logic 53 (3):399-418.
References found in this work
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
Unification and projectivity in Fregean varieties.Katarzyna Słomczyńska - 2012 - Logic Journal of the IGPL 20 (1):73-93.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-667477cd97-sfdq8 dc2