n-Contractive BL-logics

Archive for Mathematical Logic 50 (3-4):257-285 (2011)

Abstract
In the field of many-valued logics, Hájek’s Basic Logic BL was introduced in Hájek (Metamathematics of fuzzy logic, trends in logic. Kluwer Academic Publishers, Berlin, 1998). In this paper we will study four families of n-contractive (i.e. that satisfy the axiom ${\phi^n\rightarrow\phi^{n+1}}$ , for some ${n\in\mathbb{N}^+}$ ) axiomatic extensions of BL and their corresponding varieties: BL n , SBL n , BL n and SBL n . Concerning BL n we have that every BL n -chain is isomorphic to an ordinal sum of MV-chains of at most n + 1 elements, whilst every BL n -chain is isomorphic to an ordinal sum of MV n -chains (for SBL n and SBL n a similar property holds, with the difference that the first component must be the two elements boolean algebra); all these varieties are locally finite. Moving to the content of the paper, after a preliminary section, we will study generic and k-generic algebras, completeness and computational complexity results, amalgamation and interpolation properties. Finally, we will analyze the first-order versions of these logics, from the point of view of completeness and arithmetical complexity
Keywords Many-Valued logics  Basic logic   n-Contractive logics  Residuated lattices  Varieties of lattices  MV-algebras
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s00153-010-0213-8
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: 47,201
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Naive Modus Ponens.Elia Zardini - 2013 - Journal of Philosophical Logic 42 (4):575-593.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Where Gamma Fails.Robert K. Meyer, Steve Giambrone & Ross T. Brady - 1984 - Studia Logica 43 (3):247 - 256.

Analytics

Added to PP index
2013-10-27

Total views
41 ( #221,909 of 2,289,672 )

Recent downloads (6 months)
11 ( #75,136 of 2,289,672 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature