Abstract
We introduce an expansion of Basic Logic (BL) with new connectives which express fixed points of continuous formulas, i.e. formulas of BL whose connectives are among \( \{ \& ,\vee ,\wedge \}\). The algebraic semantics of this logic is studied together with some of its subclasses corresponding to extensions of the above-mentioned expansion. The axiomatic extensions are proved to be standard complete.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aczel P (1977) An introduction to inductive definition. In: Barwise J (ed) Handbook of mathematical logic, volume 90 of studies in logic. Amsterdam, North-Holland, pp 739–782
Aglianò P, Montagna F (2003) Varieties of BL algebras I: general properties. J Pure Appl Algebra 181:105–129
Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Univ 43:233–257
Cignoli R, D’Ottaviano I, Mundici D (2000) Algebraic foundations of many-valued reasoning, volume 7 of trends in logic, Studia Logica library. Kluwer Academic, Berlin
Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of t-norms and their residua. Soft Comput 4:106–112
Cintula P, Hàjek P, Noguera C (eds) (2011) Handbook of mathematical fuzzy logic (in 2 volumes), volume 37 and 38 of studies in logic, mathematical logic and foundations. College Publications, London
Dawar A, Gurevich Y (2002) Fixed points logics. Bull Symb Logic 8:65–90
Di Nola A (1991) Representation and reticulation by quotients of MV-algebras. Ric Mat 40(2):291–297
Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271–288
Hájek P (1998) Metamathematics of fuzzy logic, volume 4 of trends in logicstudia logica library. Kluwer Academic, Berlin
Hájek P (2001) On very true. Fuzzy Sets Systems 124:329–333
Hájek P (2002) Some hedges for continuous t-norm logics. Neural Netw World 2:159–164
Jenei S, Montagna F (2002) A proof of standard completeness of Esteva and Godo’s logic MTL. Stud Logica 70:183–192
Kozen D (1983) Results on the propositional mu-calculus. Theoret Comput Sci 27:333–354
Marchioni E, Spada L (2011) Advances in Ł\(\rm \Pi \) logic with fixed points. Logic J IGPL 19(3):476–489
Mio M (2014) Upper-expectation bisimilarity and Łukasiewicz \(\mu \)-calculus. In: Muscholl A Foundations of software science and computation structures, pp 335–350. Springer Berlin. doi:10.1007/978-3-642-54830-7_22
Mio M, Simpson A (2013) Łukasiewicz \(\mu \)-calculus. EPTCS 126, p 87
Montagna F (2004) Storage operators and multiplicative quantifiers in many valued logics. J Logic Comput 14(2):299–322. doi:10.1093/logcom/14.2.29
Montagna F (2007) Notes on strong completeness in Łukasiewicz, product and BL logics and in their first-order extensions. In: Aguzzoli S et al (eds) Algebraic and proof-theoretic aspects, vol 4460 of Lectures Notes in Artificial Intelligence. Springer, pp 247–274
Santocanale L, Venema Y (2010) Completeness for flat modal fixpoint logics. Ann Pure Appl Logic 162(1):55–82
Spada L (2008) Ł\(\rm \Pi \) logic with fixed points. Arch Math Logic 47(7–8):741–763
Spada L (2008) \(\mu \)MV-algebras: an approach to fixed points in Łukasiewicz logic. Fuzzy Sets Syst 159(10):1260–1267
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by A. Di Nola, D. Mundici, C. Toffalori, A. Ursini.
In memoriam Franco Montagna.
Rights and permissions
About this article
Cite this article
Spada, L. An expansion of Basic Logic with fixed points. Soft Comput 21, 29–37 (2017). https://doi.org/10.1007/s00500-016-2344-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-016-2344-2