On quasi-varieties of multiple valued logic models

Mathematical Logic Quarterly 57 (2):194-203 (2011)

Abstract
We extend the concept of quasi-variety of first-order models from classical logic to multiple valued logic and study the relationship between quasi-varieties and existence of initial models in MVL. We define a concept of ‘Horn sentence’ in MVL and based upon our study of quasi-varieties of MVL models we derive the existence of initial models for MVL ‘Horn theories’. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
Keywords quasi‐varieties  MSC (2010) 03B50  03C05  Multiple valued logic models
Categories (categorize this paper)
DOI 10.1002/malq.200910131
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,483
Through your library

References found in this work BETA

Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
[Omnibus Review].H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.
[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.

View all 9 references / Add more references

Citations of this work BETA

Abstract Valuation Semantics.Carlos Caleiro & Ricardo Gonçalves - 2013 - Studia Logica 101 (4):677-712.

Add more citations

Similar books and articles

On Vaught’s Conjecture and Finitely Valued MV Algebras.Antonio Di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.
Strict Core Fuzzy Logics and Quasi-Witnessed Models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.
Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Algorithmic Logic. Multiple-Valued Extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Many-Valued Multiple-Expert Modal Models.Nikos Tzevelekos - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. pp. 351.
Quasi-Modal Equivalence of Canonical Structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Multiple-Conclusion Logic.D. J. Shoesmith - 1978 - Cambridge University Press.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.

Analytics

Added to PP index
2013-12-01

Total views
26 ( #360,123 of 2,286,531 )

Recent downloads (6 months)
3 ( #421,856 of 2,286,531 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature