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)
  Copy   BIBTEX

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 shown

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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 - Global Philosophy 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.
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.
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
14 (#965,243)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references