Lattices related to Post algebras and their applications to some logical systems

Studia Logica 36 (1-2):89-107 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02121117

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,667

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

Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.D. Castaño, J. P. Díaz Varela & A. Torrens - 2011 - Studia Logica 98 (1-2):223-235.
On logical systems with implications and theories of algebras.Jerzy Kotas - 1973 - Studia Logica 31 (1):49 - 72.
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
Semi-demorgan algebras.David Hobby - 1996 - Studia Logica 56 (1-2):151 - 183.
Infinitary Action Logic: Complexity, Models and Grammars.Wojciech Buszkowski & Ewa Palka - 2008 - Studia Logica 89 (1):1-18.
Principal congruences on semi-de Morgan algebras.Cândida Palma & Raquel Santos - 2001 - Studia Logica 67 (1):75-88.
Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability.Ho Ng Cat - 1989 - Studia Logica 48:509.
★-autonomous Lattices.Francesco Paoli - 2005 - Studia Logica 79 (2):283-304.
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.Diego Castaño, J. Patricio Díaz Varela & Antoni Torrens Torrell - 2011 - Studia Logica 98 (1-2):223 - 235.
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.

Analytics

Added to PP
2009-01-28

Downloads
58 (#395,605)

6 months
12 (#262,569)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Equivalential Structures for Binary and Ternary Syllogistics.Selçuk Topal - 2018 - Journal of Logic, Language and Information 27 (1):79-93.

Add more citations

References found in this work

Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..

Add more references