On the equivalence of the Meskhi and Cignoli conditions for p-algebras with involution, with application to Lukasiewicz 3 and 4 valued logics [Book Review]
Bulletin of the Section of Logic 6 (4):156-159 (1977)
Abstract
In a recent issue of this Bulletin, S. Meskhi cites 7 additional conditions for Heyting algebras with involution and linearly ordered matrix [10, p. 11]. In [2], R. Cignoli indicates 3 additional conditions for P-algebras [5] with normal involution [9]. The equivalence of these conditions is shownLinks
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
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
An algebraic approach to elementary theories based on n‐valued Lukasiewicz logics.Roberto Cignoli - 1984 - Mathematical Logic Quarterly 30 (1‐6):87-96.
Coproducts in the categories of Kleene and three-valued łukasiewicz algebras.Roberto Cignoli - 1979 - Studia Logica 38 (3):237 - 245.
The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. [REVIEW]Francesc Esteva, Lluís Godo & Franco Montagna - 2001 - Archive for Mathematical Logic 40 (1):39-67.
N-Valued Logics and Łukasiewicz–Moisil Algebras. [REVIEW]George Georgescu - 2006 - Axiomathes 16 (1-2):123-136.
Natural dualities for varieties ofn-valued łukasiewicz algebras.H. A. Priestley - 1995 - Studia Logica 54 (3):333 - 370.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Review: Roberto Cignoli, Boolean Elements in Lukasiewicz Algebras. I. [REVIEW]Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):307-308.
An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Review: Roberto Cignoli, Representation of Lukasiewicz and Post Algebras by Continuous Functions. [REVIEW]Ph Dwinger - 1975 - Journal of Symbolic Logic 40 (3):465-465.
Review: Roberto Cignoli, Antonio Monteiro, Boolean Elements in Lukasiewicz Algebras. II. [REVIEW]Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):308-308.
Analytics
Added to PP
2014-02-19
Downloads
12 (#805,569)
6 months
1 (#449,844)
2014-02-19
Downloads
12 (#805,569)
6 months
1 (#449,844)
Historical graph of downloads
References found in this work
Finite limitations on a propositional calculus for affirmation and negation.George Epstein & Alfred Horn - 1974 - Bulletin of the Section of Logic 3 (1):43-44.
