- 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
Wajsberg algebras and post algebras
Studia Logica 53 (1):1 - 19 (1994)
Abstract
We give a presentation of Post algebras of ordern+1 (n1) asn+1 bounded Wajsberg algebras with an additional constant, and we show that a Wajsberg algebra admits a P-algebra reduct if and only if it isn+1 bounded.Other Versions
No versions found
My notes
Similar books and articles
Cyclic Elements in MV‐Algebras and Post Algebras.Antoni Torrens - 1994 - Mathematical Logic Quarterly 40 (4):431-444.
-}$bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
Complete and atomic algebras of the infinite valued łukasiewicz logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Decomposability of free Łukasiewicz implication algebras.Jose Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Analytics
Added to PP
2009-01-28
Downloads
76 (#257,424)
6 months
8 (#456,306)
2009-01-28
Downloads
76 (#257,424)
6 months
8 (#456,306)
Historical graph of downloads
Citations of this work
Behavioral Algebraization of Logics.Carlos Caleiro, Ricardo Gonçalves & Manuel Martins - 2009 - Studia Logica 91 (1):63-111.
Quasivarieties generated by simple MV-algebras.Joan Gispert & Antoni Torrens - 1998 - Studia Logica 61 (1):79-99.
Maximal Subalgebras of MVn-algebras. A Proof of a Conjecture of A. Monteiro.Roberto Cignoli & Luiz Monteiro - 2006 - Studia Logica 84 (3):393-405.
References found in this work
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
W-algebras which are Boolean products of members of SR[1] and CW-algebras.Antoni Torrens - 1987 - Studia Logica 46 (3):265 - 274.
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-6f97f49787-zrclg uwo