On the existence of free models in fuzzy universal Horn classes

&
Journal of Applied Logic 23:3-15 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2016.11.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Fuzzy Horn logic II.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-177.
Modal horn classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
Continuous fuzzy Horn logic.Vilém Vychodil - 2006 - Mathematical Logic Quarterly 52 (2):171-186.
Completeness with respect to a chain and universal models in fuzzy logic.Franco Montagna - 2011 - Archive for Mathematical Logic 50 (1-2):161-183.
On the existence of universal models.Mirna Džamonja & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (7):901-936.
Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
The Essentially Equational Theory of Horn Classes.Hans-E. Porst - 2000 - Mathematical Logic Quarterly 46 (2):233-240.
Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
Fuzzy Horn logic I.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-51.
Birkhoff variety theorem and fuzzy logic.Radim Bělohlávek - 2003 - Archive for Mathematical Logic 42 (8):781-790.
On quasi-varieties of multiple valued logic models.Răzvan Diaconescu - 2011 - Mathematical Logic Quarterly 57 (2):194-203.
Cut and Weakening in Fuzzy Horn Logic.Vilém Vychodil - 2005 - Logic Journal of the IGPL 13 (5):599-609.
Freeness in classes without equality.Raimon Elgueta - 1999 - Journal of Symbolic Logic 64 (3):1159-1194.
Definability of Leibniz equality.R. Elgueta & R. Jansana - 1999 - Studia Logica 63 (2):223-243.
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.

Analytics

Added to PP
2016-11-11

Downloads
40 (#399,879)

6 months
14 (#182,887)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vicent Costa
Spanish National Research Council (CSIC)

Citations of this work

Add more citations

References found in this work

No references found.

Add more references