Closure Operators and Complete Embeddings of Residuated Lattices

Studia Logica 74 (3):427-440 (2003)
  Copy   BIBTEX

Abstract

In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1025171301247

Links

PhilArchive



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

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

Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
A proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.
On Some Categories of Involutive Centered Residuated Lattices.J. L. Castiglioni, M. Menni & M. Sagastume - 2008 - Studia Logica 90 (1):93-124.
Minimal Varieties of Involutive Residuated Lattices.Constantine Tsinakis & Annika M. Wille - 2006 - Studia Logica 83 (1-3):407-423.
Compatible Operations on Residuated Lattices.J. L. Castiglioni & H. J. San Martín - 2011 - Studia Logica 98 (1-2):203-222.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113-138.
2-CNFS and Logical Embeddings.Robert Cowen - 2009 - Studia Logica 93 (1):15-19.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.Jeffrey S. Olson - 2006 - Studia Logica 83 (1-3):393-406.
★-autonomous Lattices.Francesco Paoli - 2005 - Studia Logica 79 (2):283-304.
Schönfinkel-type Operators for Classical Logic.Katalin Bimbó - 2010 - Studia Logica 95 (3):355-378.

Analytics

Added to PP
2016-02-18

Downloads
12 (#1,058,801)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hiroakira Ono
Japan Advanced Institute of Science and Technology

Citations of this work

Conserving involution in residuated structures.Ai-ni Hsieh & James G. Raftery - 2007 - Mathematical Logic Quarterly 53 (6):583-609.
A finite model property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.

View all 9 citations / Add more citations

References found in this work

Add more references