On witnessed models in fuzzy logic

Mathematical Logic Quarterly

Volumn 53, Issue 1, 2007, Pages 66-77

  Hájek, Petr ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Arithmetical complexity; Completeness; Mathematical fuzzy logic; Witnessed models

Indexed keywords

EID: 33846689977     PISSN: 09425616     EISSN: 15213870     Source Type: Journal    
DOI: 10.1002/malq.200610027     Document Type: Article

References (12)

1. F. Esteva, L. Godo, P. Hájek, and F. Montagna, Hoops and fuzzy logic. J. Logic Computation 13, 532 - 555 (2003).
2. P. Hájek, Metamathematics of Fuzzy Logic (Kluwer, 1998).
3. P. Hájek, Fuzzy logic and arithmetical hierarchy III. Studia Logica 68, 129 - 142 (2001).
4. P. Hájek, Fuzzy logic and arithmetical hierarchy IV. In: First-Order Logic Revised (V. Hendricks, F. Neuhaus, S. A. Pedersen, U. Scheffler, and H. Wansing, eds.), pp. 107 - 115 (Logos Verlag, 2004).
5. P. Hájek, Arithmetical complexity of fuzzy predicate logics - a survey. Soft Computing 9, 935 - 941 (2005).
6. P. Hájek, Making fuzzy description logic more general. Fuzzy Sets and Systems 154, 1 - 15 (2005).
7. P. Hájek and P. Cintula, On theories and models in fuzzy predicate logics. To appear in the Journal of Symbolic Logic.
8. B. Kozlíková and V. Švejdar, On interplay of quantifiers in Gödel-Dummett fuzzy logics. Arch. Math. Logic 45, 569 - 580 (2006).
9. C. Laskowski and S. Malekpour, Provability in product logic. To appear in Archive for Mathematical Logic.
10. F. Montagna, Three complexity problems in quantified fuzzy logic. Studia Logica 68, 143 - 152 (2001).
11. F. Montagna, On the predicate logics of continuous t-norm BL-algebras. Arch. Math. Logic 44, 97 - 114 (2005).
12. P. S. Mostert and A. L. Shields, On the structure of semigrous on a compact manifold with boundary. Annals Math. 65, 117 - 143 (1957).