Ordered domain algebras

&
Journal of Applied Logic 11 (3):266-271 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2013.04.002

Links

PhilArchive



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

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

Meet-completions and ordered domain algebras.R. Egrot & Robin Hirsch - 2015 - Logic Journal of the IGPL 23 (4):584-600.
Meet-completions and representations of ordered domain algebras.Robin Hirsch & R. Egrot - unknown
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.Szabolcs Mikulás - 2015 - Studia Logica 103 (3):453-478.
On the structure of linearly ordered pseudo-BCK-algebras.Anatolij Dvurečenskij & Jan Kühr - 2009 - Archive for Mathematical Logic 48 (8):771-791.
Advances in the theory of μŁΠ algebras.Enrico Marchioni & Luca Spada - 2011 - Logic Journal of the IGPL 19 (3):476-489.
Non-commutative logical algebras and algebraic quantales.Wolfgang Rump & Yi Chuan Yang - 2014 - Annals of Pure and Applied Logic 165 (2):759-785.
Generalizations of Boolean products for lattice-ordered algebras.Peter Jipsen - 2010 - Annals of Pure and Applied Logic 161 (2):228-234.
Pure Hilbert Algebras with Infimum.Aldo Figallo Jr - 2007 - Logic Journal of the IGPL 15 (5-6):527-533.
Semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):149 - 160.
A common generalization for MV-algebras and Łukasiewicz–Moisil algebras.George Georgescu & Andrei Popescu - 2006 - Archive for Mathematical Logic 45 (8):947-981.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Free ordered algebraic structures towards proof theory.Andreja Prijatelj - 2001 - Journal of Symbolic Logic 66 (2):597-608.
An algebraic approach to propositional fuzzy logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.
Definable sets in Boolean ordered o-minimal structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.

Analytics

Added to PP
2016-06-30

Downloads
15 (#919,495)

6 months
8 (#352,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references