Abstract
We sharpen Hájek’s Completeness Theorem for theories extending predicate product logic, \({\Pi\forall}\) . By relating provability in this system to embedding properties of ordered abelian groups we construct a universal BL-chain L in the sense that a sentence is provable from \({\Pi\forall}\) if and only if it is an L-tautology. As well we characterize the class of lexicographic sums that have this universality property.
Similar content being viewed by others
References
Clifford A.H. (1954). A note on Hahn’s theorem on ordered abelian groups. Proc. AMS 5: 860–863
Hájek P. (1998). Metamathematics of Fuzzy Logic. Kluwer, Boston
Hájek P. (2005). Making fuzzy description logic more general. Fuzzy Sets Syst. 154(1): 1–15
Laskowski M.C., Shashoua Y.V. (2002). A classification of BL-algebras. Fuzzy Sets Syst 131(3): 271–282
Laskowski M.C., Shashoua Y.V. (2004). Generalized ordinal sums and the decidability of BL-chains. Algebra Univers 52: 137–153
Malekpour, S.: PhD thesis, University of Maryland (2004)
Montagna F. (2001). Three complexity problems in quantified fuzzy logic. Studi Log 68: 143–152
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by NSF grant DMS-0300080.
Portions of this material appears in Malekpour’s doctoral dissertation.
Rights and permissions
About this article
Cite this article
Laskowski, M.C., Malekpour, S. Provability in predicate product logic. Arch. Math. Logic 46, 365–378 (2007). https://doi.org/10.1007/s00153-007-0036-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-007-0036-4