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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

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

Some Operators in Kripke Models with an Involution.A. Galli & M. Sagastume - 1999 - Journal of Applied Non-Classical Logics 9 (1):107-120.
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings.Blanca Fernanda López Martinolich & María del Carmen Vannicola - 2023 - Logic Journal of the IGPL 31 (5):988-1003.
A Duality For -valued Mv-algebras.Marina Lattanzi & Alejandro Petrovich - 2009 - Reports on Mathematical Logic:65-84.
Roberto Cignoli. Boolean elements in Lukasiewicz algebras. I. Proceedings of the Japan Academy, t. 41 , p. 670–675.Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):307-308.
On non-equivalence of two definitions of the algebras of Lukasiewicz.Wojciech Suchon - 1972 - Bulletin of the Section of Logic 1 (1):35-37.
A Categorical Equivalence for Product Algebras.Franco Montagna & Sara Ugolini - 2015 - Studia Logica 103 (2):345-373.
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.
Roberto Cignoli et Antonio Monteiro. Boolean elements in Lukasiewicz algebras. II. Proceedings of the Japan Academy, t. 41 , p. 676–680. [REVIEW]Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):308.
Non-equivalence of certain definitions of infinite Lukasiewicz algebras.Wojciech Suchon - 1972 - Bulletin of the Section of Logic 1 (2):10-16.

Analytics

Added to PP
2014-02-19

Downloads
19 (#1,081,553)

6 months
2 (#1,689,990)

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