Analytic calculi for product logics

Archive for Mathematical Logic

Volumn 43, Issue 7, 2004, Pages 859-889

  Metcalfe, George ^a   Olivetti, Nicola ^b   Gabbay, Dov ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

Fuzzy logic; Hypersequent calculi; Product logic; Sequent calculi

Indexed keywords

EID: 21244483549     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00153-004-0225-3     Document Type: Article

References (19)

1. Aguzzoli, S., Gerla, B.: Finite-valued reductions of infinite-valued logics. Archive for Mathematical Logic 41 (4), 361-399 (2002)
2. Avron, A.: A constructive analysis of RM. Journal of Symbolic Logic. 52 (4), 939-951 (1987)
3. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artificial Intelligence 4 (3-4), 225-248 (1991)
4. 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
5. Baaz, M., Ciabattoni, A., Montagna, F.: Analytic calculi for monoidal t-norm basd logic. Submitted, 2001
6. Baaz, M., Hájek, P., Svejda, D., Krajíćek, J.: Embedding logics into product logic. Studia Logica 61 (1), 35-47 (1998)
7. 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
8. Ciabattoni, A., Esteva, F., Godo, L.: T-norm based logics with n-contraction. Neural Network World 12 (5), 441-453 (2002)
9. Cintula, P.: About axiomatic systems of product fuzzy logic. Soft Computing 5, 243-244 (2001)
10. 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)
11. Esteva, F., Godo, L., Hájek, P., Montagna, F.: Hoops and fuzzy logic. Submitted, 2002
12. Joseph A. Goguen, Jr. The logic of inexact concepts. Synthése 19, 325-373, (1969)
13. Gottwald, S.: Treatise on Many-Valued Logics, volume 9. Studies in Logic and Computation. Research Studies Press, Baldock, 2000
14. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht, 1998
15. Hájek, P., Godo, L., Esteva, F.: A complete many-valued logic with product conjunction. Archive for Mathematical Logic 35, 191-208 (1996)
16. Metcalfe, G.: Proof Theory for Propositional Fuzzy Logics. PhD thesis, King's College London, 2003
17. Metcalfe, G., Olivetti, N., Gabbay, D.: Sequent and hypersequent calculi for abelian and Lukasiewicz logics. To appear in Transactions on Computational Logic, 2003
18. Pottinger, G.: Uniform, cut-free formulations of T, S4 and S5(abstract). Journal of Symbolic Logic 48 (3), 900 (1983)
19. Rose, A., Rosser, J. B.: Fragments of many-valued statement calculi. Trans. Am. Math. Soc. 87, 1-53 (1958)