Abstract
In this paper we investigate the connections between quantifier elimination, decidability and Uniform Craig Interpolation in Δ-core fuzzy logics added with propositional quantifiers. As a consequence, we are able to prove that several propositional fuzzy logics have a conservative extension which is a Δ-core fuzzy logic and has Uniform Craig Interpolation.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aglianò P., Montagna F.: ‘Varieties of BL-algebras I: general properties’. Journal of Pure and Applied Algebra 181, 105–129 (2003)
Aglianò P., Ferreirim I.M.A., Montagna F.: ‘Basic hoops: an algebriac study of continuous t-norms’. Studia Logica 87(1), 73–98 (2007)
Baaz, M., and H. Veith, ‘Quantifier elimination in fuzzy logic’, In Computer Science Logic, Lecture Notes in Computer Science, Springer, Berlin Heidelberg (1999), pp. 399–414.
Baaz M., Veith H.: ‘Interpolation in fuzzy logic’. Archive for Mathematical Logic 38, 461–489 (1999)
Baaz M., Preining N.: ‘Quantifier elimination for quantified propositional logics on Kripke frames of type ω’. Journal of Logic and Computation 18(4), 649–668 (2008)
Blok W.J., Ferreirim I.M.A.: ‘On the structure of hoops’. Algebra Universalis 43, 233–257 (2000)
Blok, W.J., and D. Pigozzi, ‘Algebraizable logics’, Mem. Amer. Math. Soc. 396, vol. 77, American Math. Soc., Providence 1989.
Burris, S., and H.P. Sankappanavar, A course in Universal Algebra, Graduate texts in Mathematics, Springer Veralg 1981.
Cignoli R., Esteva F., Godo L., Torrens A.: ‘Basic fuzzy logic is the logic of continuous t-norms and their residua’. Soft Computing 4, 106–112 (2000)
Cignoli, R., I. D’Ottaviano, and D. Mundici, Algebraic foundations of manyvalued reasoning, Kluwer, 2000.
Cintula P.: ‘Weakly implicative (fuzzy) logics I: Basic properties’. Arch. Math. Log. 45(6), 673–704 (2006)
Cintula P., Esteva F., Gispert J., Godo L., Montagna F., Noguera C.: ‘Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies’. Ann. Pure Appl. Logic 160(1), 53–81 (2009)
Cortonesi, T., E. Marchioni, and F. Montagna, ‘Quantifier elimination and other model theoretic properties of BL-algebras’, preprint 2009, to appear in Notre Dame Journal of Formal Logic.
Dummett M.: ‘A propositional logic with denumerable matrix’. J. Symb. Log. 24, 96–107 (1959)
Esteva F., Godo L.: ‘Monoidal t-norm based logic: Towards a logic for left-continuous t-norms’. Fuzzy Set and Systems 124, 271–288 (2001)
Ferreirim, I.M.A., On varieties and quasi varieties of hoops and their reducts, PhD thesis, University of Illinois at Chicago, 1992.
Gerla B.: ‘Rational Łukasiewicz Logic and Divisible MV-algebras’. Neural Network World 11, 159–194 (2001)
Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, ‘Residuated Lattices: An Algebraic Glimpse at Substructural Logics’, Studies in Logic and the Foundations of Mathematics, Vol. 151, Elsevier, 2007.
Hàjek, P., Metamathematics of Fuzzy Logic, Kluwer, 1998.
Hodges W.: ‘Model theory’, volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1993)
Marchioni, E., and G. Metcalfe, ‘Interpolation properties for uninorm based logics’, Proceedings of the ISMVL, Barcelona (Spain), 205–210, 2010.
Montagna F.: ‘Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation’. Annals of Pure and Applied Logic 141, 148–179 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
To the memory of Leo Esakia
Rights and permissions
About this article
Cite this article
Montagna, F. Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation. Stud Logica 100, 289–317 (2012). https://doi.org/10.1007/s11225-012-9379-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9379-x