Lonear Kripke frames and Gödel logics

Journal of Symbolic Logic

Volumn 72, Issue 1, 2007, Pages 26-44

  Beckmann, Arnold ^a,b   Preining, Norbert ^a,b  

^a SWANSEA UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33947431064     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1174668382     Document Type: Article

References (36)

1. M. BAAZ, Infinite-valued Gödel logics with 0-1-projections and relativizations. Proceedings Gödel '96, Logic foundations of mathematics, computer science and physics-Kurt Gödel's legacy (P. Hájek, editor), Lecture Notes in Logic, vol. 6. Springer, 1996, pp. 23-33.
2. M. BAAZ, A. LEITSCH, and R. ZACH, Completeness of a first-order temporal logic with time-gaps, Theoretical Computer Science, vol. 160 (1996), no. 1-2. pp. 241-270.
3. _, Incompleteness of an infinite-valued first-order Gödel logic and of some temporal logics of programs, Computer science logic (E. Borger, editor), Springer, Berlin, 1996, Selected papers from CSL '95, pp. 1-15.
4. M. BAAZ, N. PREINING, and R. ZACH, First-order Gödel logics, Annals of Pure and Applied Logic, (2006), Accepted. Preprint: http://arxiv.org/math.L0/0601147.
5. M. BAAZ and R. ZACH, Compact propositional Gödel logics, 28th International Symposium on Multiple-valued Logic. May 1998, Fukuoka, Japan. Proceedings, IEEE Press, Los Alamitos, 1998, pp. 108-113.
6. _, Hypersequent and cut-elimination for intuitionistic fuzzy logic. Computer Science Logic, Proceedings of the CSL 2000 (P. G. Clote and H. Schwichtenberg, editors). Lecture Notes in Computer Science 1862, Springer, 2000, pp. 178-201.
7. A. BECKMANN, M. GOLDSTERN, and N. PREINING, Continuous Fraïssé conjecture. Order. Submitted. Preprint: http://arxiv.org/math.L0/0411117.
8. G. BIRKHOFF, Lattice theory, third ed., American Mathematical Society, 1967.
9. A. CHAGROV and M. ZAKHARYASCHEV, Modal logic, Oxford Logic Guides, vol. 35, The Clarendon Press Oxford University Press, New York, 1997, Oxford Science Publications.
10. B. A. DAVEY, On the lattice of subvarieties, Houston Journal of Mathematics, vol. 5 (1979), pp. 183-192.
11. M. DUMMETT, A propositional logic with denumerable matrix, this JOURNAL, vol. 24 (1959), pp. 96-107.
12. L. L. ESAKIA, Heyting algebra, I, Duality theory, Metsniereba, Tbilisi, 1985, in Russian.
13. M. C. FITTING, Intuitionistic logic, model theory and forcing, Studies in Logic and the Foundation of Mathematics, North-Holland, Amsterdam, 1969.
14. R. FRAÏSSÉ, Sur la comparaison des types d'ordres, Comptes Rendus de l'Académie des Sciences Paris, vol. 226 (1948), pp. 1330-1331.
15. D. M. GABBAY, Semantical investigations in Heyting's intuitionistic logic, Synthese Library, vol. 148, D. Reidel Publishing Company, 1981.
16. G. GÖDEL, Zum Intuitionistischen Aussagenkalkü l, Ergebnisse eines mathematischen Kolloquiums, vol. 4 (1933), pp. 34-38.
17. R. GOLDBLATT, Mathematical modal logic: A view of its evolution, Journal of Applied Logic, vol. 1 (2003), no. 5-6, pp. 309-392.
18. P. HÁJEK, Metamathematics of fuzzy logic, Kluwer, 1998.
19. A. HORN, Logic with truth values in a linearly ordered Heyting algebra, this JOURNAL, vol. 34 (1969), no. 3, pp. 395-409.
20. A. S. KECHRIS, Classical descriptive set theory, Springer, 1995.
21. P. KREMER, On the complexity of propositional quantification in intuitionistic logic, this JOURNAL, vol. 62 (1997), no. 2, pp. 529-544.
22. S. A. KRIPKE, Semantical analysis of intuitionistic logic. I, Formal systems and recursive functions (Proceedings of the Eighth Logic Colloquium, Oxford, 1963), North-Holland, Amsterdam, 1965, pp. 92-130.
23. P. MINARI, M. TAKANO, and H. ONO, Intermediate predicate logics determined by ordinals, this JOURNAL, vol. 55 (1990), no. 3, pp. 1099-1124.
24. Y. N. MOSCHOVAKIS, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland, Amsterdam, 1980.
25. H. ONO, Kripke models and intermediate logics, Publications. Research Institute of Mathematical Sciences, Kyoto University, vol. 6 (1971), pp. 461-476.
26. _, A study of intermediate predicate logics, Publications. Research Institute of Mathematical Sciences, Kyoto University, vol. 8 (1972/73), pp. 619-649.
27. _, On finite linear intermediate predicate logics. Studio Logica, vol. 47 (1988), no. 4, pp. 391-399.
28. N. PREINING, Gödel logics and Cantor-Bendixon analysis, Proceedings of LPAR'2002 (M. Baaz and A. Voronkov, editors), Lecture Notes in Artificial Intelligence 2514, Springer, October 2002, pp. 327-336.
29. _, Complete recursive axiomatizability of Gödel logics, Ph.D. thesis, Vienna University of Technology, Austria, 2003.
30. G. N. RANEY, Completely distributive complete lattices. Proceedings of the American Mathematical Society, vol. 3 (1952), pp. 677-680.
31. B. SCARPELLINI, Die Nichtaxiomatisierbarkeit des unendlichwert igen Prädikatenkalkülus von Lukasiewicz, this JOURNAL, vol. 27 (1962), pp. 159-170.
32. D. SKVORTSOV, On the superintuitionistic predicate logics of Kripke frames based on denumerable chains. Algebraic and Topological Methods in Non-classical Logics II, Barcelona, 15-18 June, 2005, 2005. pp. 73-74.
33. M. TAKANO, Another proof of the strong completeness of the intuitionistic fuzzy logic, Tsukuba Journal of Mathematics, vol. 11 (1987), no. 1, pp. 101-105.
34. _. Ordered nets R and Q as bases of Kripke models. Stadia Logica, vol. 46 (1987), pp. 137-148.
35. G. TAKEUTI and T. TITANI, Intuitionistic fuzzy logic and intuitionistic fuzzy set theory, this JOURNAL, vol. 49 (1984), pp. 851 -866.
36. A. S. TROELSTRA, Aspects of constructive mathematics. Handbook of mathematical logic (J. Barwise, editor), North Holland. 1977, pp. 973-1052.