★-autonomous Lattices

Studia Logica 79 (2):283-304 (2005)
  Copy   BIBTEX

Abstract

-autonomous lattices are the algebraic exponentials and without additive constants. In this paper, we investigate the structure theory of this variety and some of its subvarieties, as well as its relationships with other classes of algebras.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-2979-y

Links

PhilArchive



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

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

Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Two identities for lattices, distributive lattices and modular lattices with a constant.Saburo Tamura - 1975 - Notre Dame Journal of Formal Logic 16 (1):137-140.
Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.
Representation of finite demi-p-lattices by means of posets.Hernando Gaitan - 1996 - Studia Logica 56 (1-2):97 - 110.
Remarks on an algebraic semantics for paraconsistent Nelson's logic.Manuela Busaniche & Roberto Cignoli - 2011 - Manuscrito 34 (1):99-114.
Grabowski Lattices are Generated by Graphs.A. Kolany - 2002 - Reports on Mathematical Logic:63-69.
Prime Filters, Normality and Irreducibility in Lattices.Gabriela Hauser-Bordalo - 2011 - Studia Logica 98 (1-2):5-7.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
A splitting theorem for the Medvedev and Muchnik lattices.Stephen Binns - 2003 - Mathematical Logic Quarterly 49 (4):327.
Information flow between weakly interacting lattices of coupled maps.Harald Atmanspacher - manuscript
Rough concept lattices and domains.Yinbin Lei & Maokang Luo - 2009 - Annals of Pure and Applied Logic 159 (3):333-340.
Some Investigations of Varieties of N-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257 - 280.
The theory of {vec Z}C(2)^2-lattices is decidable.Stefano Baratella & Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):91-104.
Infinite resistive lattices.David Atkinson - unknown
Congruence Lattices of Semilattices with Operators.Jennifer Hyndman, J. B. Nation & Joy Nishida - 2016 - Studia Logica 104 (2):305-316.

Analytics

Added to PP
2009-01-28

Downloads
42 (#378,786)

6 months
2 (#1,198,779)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francesco Paoli
Universita di Cagliari

Citations of this work

Add more citations

References found in this work

Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Quantales and (noncommutative) linear logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.

View all 7 references / Add more references