Abstract.
Product logic Π is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0,1], while Cancellative hoop logic CHL is a related logic with connectives interpreted as for Π but on the real unit interval with 0 removed (0,1]. Here we present several analytic proof systems for Π and CHL, including hypersequent calculi, co-NP labelled calculi and sequent calculi.
Similar content being viewed by others
References
Aguzzoli, S., Gerla, B.: Finite-valued reductions of infinite-valued logics. Archive for Mathematical Logic 41 (4), 361–399 (2002)
Avron, A.: A constructive analysis of RM. Journal of Symbolic Logic. 52 (4), 939–951 (1987)
Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artificial Intelligence 4 (3–4), 225–248 (1991)
Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In W. Hodges, M. Hyland, C. Steinhorn, and J. Truss, editors, Logic: from foundations to applications. Proc. Logic Colloquium, Keele, UK, 1993, pp. 1–32. Oxford University Press, New York 1996
Baaz, M., Ciabattoni, A., Montagna, F.: Analytic calculi for monoidal t-norm basd logic. Submitted, 2001
Baaz, M., Hájek, P., Svejda, D., Krajíćek, J.: Embedding logics into product logic. Studia Logica 61 (1), 35–47 (1998)
Baaz, M., Zach, R.: Hypersequents and the proof theory of intuitionistic fuzzy logic. In CSL: 14th Workshop on Computer Science Logic, pp. 187–201. LNCS, Springer-Verlag, 2000
Ciabattoni, A., Esteva, F., Godo, L.: T-norm based logics with n-contraction. Neural Network World 12 (5), 441–453 (2002)
Cintula, P.: About axiomatic systems of product fuzzy logic. Soft Computing 5, 243–244 (2001)
Esteva, F., Godo, L.: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124, 271–288 (2001)
Esteva, F., Godo, L., Hájek, P., Montagna, F.: Hoops and fuzzy logic. Submitted, 2002
Joseph A. Goguen, Jr. The logic of inexact concepts. Synthése 19, 325–373, (1969)
Gottwald, S.: Treatise on Many-Valued Logics, volume 9. Studies in Logic and Computation. Research Studies Press, Baldock, 2000
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht, 1998
Hájek, P., Godo, L., Esteva, F.: A complete many-valued logic with product conjunction. Archive for Mathematical Logic 35, 191–208 (1996)
Metcalfe, G.: Proof Theory for Propositional Fuzzy Logics. PhD thesis, King’s College London, 2003
Metcalfe, G., Olivetti, N., Gabbay, D.: Sequent and hypersequent calculi for abelian and Lukasiewicz logics. To appear in Transactions on Computational Logic, 2003
Pottinger, G.: Uniform, cut-free formulations of T, S4 and S5(abstract). Journal of Symbolic Logic 48 (3), 900 (1983)
Rose, A., Rosser, J. B.: Fragments of many-valued statement calculi. Trans. Am. Math. Soc. 87, 1–53 (1958)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Metcalfe, G., Olivetti, N. & Gabbay, D. Analytic Calculi for Product Logics. Arch. Math. Logic 43, 859–889 (2004). https://doi.org/10.1007/s00153-004-0225-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0225-3