Embedding logics into product logic

Studia Logica

Volumn 61, Issue 1, 1998, Pages 35-47

  Baaz, Matthias ^a   Hájek, Petr ^b   Švejda, David ^b   Krajíček, Jan ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Arithmetical hierarchy; Computational complexity; Fuzzy logic; G del logic; Product logic; Ukasiewicz logic

Indexed keywords

EID: 54649083647     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005026229560     Document Type: Article

References (16)

1. BAAZ, M. 'Infinite-valued Gödel Logics with 0-1-Projections and Relativizations', in: Hajek (ed.) Gödel'96 - Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's legacy', Springer Verlag, 1996.
2. CIGNOLI, R., and D. MUNDICI, An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz, Studia Logica 58 (1997), 79-97.
3. rd Annual ACM Symp. on Theory of Computing (1971), 151-158, ACM Press.
4. COOK, S. A., and A. R. RECKHOW, The relative efficiency of prepositional proof systems, J. Symbolic Logic 44(1) (1979), 36-50.
5. GOTTWALD, S., Mehrwertige Logik, Berlin: Akademie-Verlag, 1988.
6. HÁJEK, P., F. ESTEVA, and L. GODO, A complete many-valued logics with product conjunction, Archive for Mathematics Logic 35 (1996), 191-208.
7. HÁJEK, P., Fuzzy logic and arithmetical hierarchy II, Studia Logica 58 (1997), 129-141
8. KRAJÍČEK, J., Bounded arithmetic, prepositional logic and complexity theory, Encyclopedia of Mathematics and Its Applications 60, Cambridge University Press, Cambridge - New York - Melbourne, 1995.
9. MOSTERT, P. S., A. L. SHIELDS, On the structure of semigroups on a compact manifold with boundary, Annals of Math. 65 (1957), 117-143.
10. MUNDICI, D., Satisfiability in many-valued sentential logic is NP-complete, Theor. Computer Sci. 52 (1987), 145-153.
11. RAGAZ, M., Arithmetische Klassifikation der Formelnmengen der unendlichwertigen Logik', Thesis, ETH Zürich, 1981.
12. RAGAZ, M., Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik, Arch. Math. Logik 23 (1983), 129-139.
13. RUTLEDGE, J. D., A preliminary investigation of the infinitely many-valued predicate calculus', Thesis, Cornell University, 1959.
14. SCARPELLINI, B., Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz, J. Symb. Log. 27 (1962), 159-170.
15. SCHWEIZER, B., A. SKLAR, Probabilistic metric spaces, North Holland, Amsterdam, 1983.
16. TAKEUTI, T., S. TITANI, Intuitionistic fuzzy logic and intuitionistic fuzzy set theory, J. Symb. Log, 49 (1984), 851-866.