The decision problem for...-lattices with..

Archive for Mathematical Logic 37 (2) (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

The decision problem for {vec Z}C(p^3)-lattices with p prime.Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):127-142.
The decision problem for [mathematical formula]-lattices with [mathematical formula] prime.Carlo Toffalori - 1997 - Archive for Mathematical Logic 36 (2).
Decision problem for separated distributive lattices.Yuri Gurevich - 1983 - Journal of Symbolic Logic 48 (1):193-196.
The theory of {vec Z}C(2)^2-lattices is decidable.Stefano Baratella & Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):91-104.
Decidability for ℤ2G‐lattices when G Extends the Noncyclic Group of Order 4.Annalisa Marcja & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (2):203-212.
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.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Representation of finite demi-p-lattices by means of posets.Hernando Gaitan - 1996 - Studia Logica 56 (1-2):97 - 110.
Prime Filters, Normality and Irreducibility in Lattices.Gabriela Hauser-Bordalo - 2011 - Studia Logica 98 (1-2):5-7.
Continuous Lattices and Whiteheadian Theory of Space.Thomas Mormann - 1998 - Logic and Logical Philosophy 6:35 - 54.
Information flow between weakly interacting lattices of coupled maps.Harald Atmanspacher - manuscript
Wildness implies undecidability for lattices over group rings.Carlo Toffalori - 1997 - Journal of Symbolic Logic 62 (4):1429-1447.
Some Investigations of Varieties of N-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257 - 280.

Analytics

Added to PP
2014-03-22

Downloads
5 (#1,463,568)

6 months
1 (#1,444,594)

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

No references found.

Add more references