Quantifier Elimination for Distributive Lattices and Measure Algebras

Mathematical Logic Quarterly 31 (14-18):249-261 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850311407

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

Quantifier Elimination for Distributive Lattices and Measure Algebras.Volker Weispfenning - 1985 - Mathematical Logic Quarterly 31 (14‐18):249-261.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Free q-distributive lattices.Roberto Cignoli - 1996 - Studia Logica 56 (1-2):23 - 29.
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
Free modal lattices via Priestley duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
Finite Distributive Lattices As Sums Of Boolean Algebras.Jerzy Kotas & Piotr Wojtylak - 1995 - Reports on Mathematical Logic:35-40.
Semi-demorgan algebras.David Hobby - 1996 - Studia Logica 56 (1-2):151 - 183.
Distributive lattices with an operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.

Analytics

Added to PP
2015-12-02

Downloads
21 (#692,524)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Quantifier elimination for Stone algebras.Switgard Feuerstein - 1989 - Archive for Mathematical Logic 28 (2):75-89.

Add more citations

References found in this work

No references found.

Add more references