Complexity issues in basic logic

Soft Computing

Volumn 9, Issue 12, 2005, Pages 919-934

  Aguzzoli, S ^a   Gerla, B ^b   Hanikova Z ^c  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

^c INSTITUTE OF MATHEMATICS   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 27644596006     PISSN: 14327643     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00500-004-0443-y     Document Type: Review

References (33)

1. Aglianò P, Montagna F (2003) Varieties of BL-algebras I: General properties. J Pure Appl Algebra 181:105-129
2. Aguzzoli S (1998) Geometric and proof-theoretic issues in Łukasiewicz propositional logics. PhD Thesis, University of Siena, Italy
3. Aguzzoli S, Ciabattoni A (2000) Finiteness in infinite-valued Łukasiewicz logic. J Logic Lang Inf 9:5-29
4. Aguzzoli S, Gerla B (2002) Finite-valued reductions of infinite-valued logics. Arch Math Logic 41:361-399
5. Aguzzoli S, Gerla B (2002) On countermodels in basic logic. Neural Netw World 12:407-420
6. Baaz M, Hájek P, Krajíček J, Švejda D (1998) Embedding logics into product logic. Studia Logica 61:35-42
7. Baaz M, Hájek P, Montagna F, Veith H (2002) Complexity of t-tautologies. Ann Pure Appl Logic 113:3-11
8. Burris S, Sankappanavar HP (1981) A course in universal algebra, Springer, Berlin Heidelberg New York
9. Cignoli R, D'Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning, trends in logic, vol 7. Kluwer, Dordrecht
10. Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic logic is the logic of continuous t-norms and their residua. Soft Comput 4:106-112
11. Cintula P, Gerla B Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets Syst (to appear)
12. Esteva F, Godo L, Hájek P, Navara M (2000) Residuated fuzzy logics with an involutive negation. Arch Math Logic 39:106-112
13. Esteva F, Godo L, Montagna F (2003) Equational characterization of the subvarieties of BL generated by t-norm algebras, (preprint)
14. Ewald G (1996) Combinatorial convexity and algebraic geometry, graduate texts in mathematics. vol 168 Springer, Berlin Heidelberg New York
15. Gerla B (2000) A note on functions associated with Gödel formulas. Soft Comput 4:206-209
16. Gerla B (2000) Functional representation of many-valued logics based on continuous t-norms. PhD Thesis, University of Milano, Italy
17. Gödel K (1933) Zum intuitionistischen Aussagenkalkül, Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse 69, (1932), 65-66. Also in Ergebnisse eines matematischen Kolloquiums 4:40
18. Hähnle R (1993) Automated deduction in multiple-valued logics. Oxford University Press, Oxford
19. Hähnle R (1994) Many-valued logic and mixed integer programming. Ann Math Artif Intell 12:231-264
20. Hähnle R (1997) Proof theory of many-valued logic - linear optimization - logic design: Connections and interactions. Soft Comput 1:107-119
21. Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht
22. Hájek P (1998) Basic fuzzy logic and BL-algebras. Soft Comput 2:124-128
23. Haniková Z (2001) Standard algebras for fuzzy propositional calculi. Fuzzy Sets Syst 124:309-320
24. Haniková Z (2002) A note on the complexity of propositional tautologies of individual t-algebras. Neural Netw World 12:453-460
25. Haniková Z (2003) Mathematical and metamathematical properties of fuzzy logic. PhD Thesis, Charles University in Prague
26. McNaughton R (1951) A theorem about infinite-valued sentential logic. J Symbolic Logic 16:1-13
27. Montagna F (2000) The free BL-algebra on one generator. Neural Netw World 5:837-844
28. Montagna F (2001) Free BL Δ Algebras. pp 159-171 In: Antonio Di Nola, Giangiacomo Gerla (eds) Lectures on soft computing and fuzzy logic
29. Mostert PS, Shields AL (1957) On the structure of semigroups on a compact manifold with boundary. Ann Math 65:117-143
30. Mundici D (1987) Satisfiability in many-valued sentential logic is NP-complete. Theor Comput Sci 52:145-153
31. Mundici D (1994) A constructive proof of McNaughton's theorem in infinite-valued logics. J Symbolic Logic 59:596-602
32. Novák V, Perfilieva I, Močkoř J (1999) Mathematical principles of fuzzy logic. Kluwer, Boston/Dordrecht/London
33. Rose A, Rosser JB (1958) Fragments of many-valued statement calculi. Trans Am Math Soc 87:1-53