On Łukasiewicz's four-valued modal logic

Studia Logica

Volumn 70, Issue 2, 2002, Pages 157-182

  Font, Josep Maria ^a   Hájek, Petr ^b  

^a UNIVERSITY OF BARCELONA   (Spain)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Discrete epistemic algebras; Faithful translation; Four valued logic; Intensional logic; Many valued logic; Modal logic; ukasiewicz

Indexed keywords

EID: 14044276893     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1015111314455     Document Type: Article

References (44)

1. BLOK, W. J., and D. PIGOZZI, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc. A.M.S., Providence, January 1989.
2. BULL, R. A., and K. SEGERBERG, Basic modal logic. In Handbook of Philosophical Logic (Reidel, Dordrecht, 1984), D. Gabbay and F. Guenthner, Eds., vol. II, Reidel, pp. 1-88.
3. CHAGROV, A., and M. ZAKHARYASHEV, Modal Logic, vol. 35 of Oxford Logic Guides. Oxford University Press, 1997.
4. CHELLAS, B., Modal Logic: An Introduction. Cambridge University Press, Cambridge, Cambridge, 1980.
5. CIGNOLI, R., D. MUNDICI, and I. D'OTTAVIANO, Algebraic foundations of many-valued reasoning, vol. 7 of Trends in Logic, Studia Logica Library. Kluwer, Dordrecht, 1999.
6. CORCORAN, J., 'A mathematical model of Aristotle's syllogistic', Archiv für Geschichte der Philosophie 55 (1973), 191-219.
7. CORCORAN, J., 'Aristotle's natural deduction system'. In Ancient Logic and its Modern Interpretations, J. Corcoran, Ed., vol. 9 of Synthese Historical Library. Reidel, Dordrecht, 1974, pp. 85-131.
8. CURRY, H., 'The elimination theorem when modality is present', The Journal of Symbolic Logic 17 (1952), 249-265.
9. CURRY, H. B., A theory of formal deducibility, vol. 6 of Notre Dame mathematical lectures. University of Notre Dame, Notre Dame, Indiana, 1950.
10. CURRY, H. B., Foundations of Mathematical Logic. McGraw-Hill, New York, 1963. (reprinted in 1977 by Dover Publications).
11. CZELAKOWSKI, J., Protoalgebraic Logics, vol. 10 of Trends in Logic, Studia Logica Library. Kluwer, Dordrecht, 2001.
12. FONT, J. M., and R. JANSANA, A General Algebraic Semantics for Sentential Logics, vol. 7 of Lecture Notes in Logic. Springer-Verlag, 1996.
13. FONT, J. M., and M. RIUS, 'An abstract algebraic logic approach to tetravalent modal logics', The Journal of Symbolic Logic 65 (2000), 481-518.
14. GOTTWALD, S., Mehrwertige Logik. Akademie-Verlag, Berlin, 1988.
15. GOTTWALD, S., A treatise on many-valued logics, vol. 9 of Studies in Logic and Computation. Research Studies Press, Baldock, 2001.
16. HÁJEK, P., Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic, Studia Logica Library. Kluwer, Dordrecht, 1998.
17. HUGHES, G. E., and M. J. CRESSWELL, An Introduction to Modal Logic. Methuen, London, 1968.
18. HUGHES, G. E., and M. J. CRESSWELL, A New Introduction to Modal Logic. Routledge, London, 1996.
19. HUMBERSTONE, L., 'Extensionality in sentence position', Journal of Philosophical Logic 15 (1986), 27-54.
20. KRIPKE, S., 'Semantical analysis of modal logic II. Non-normal modal prepositional calculi'. In The Theory of Models, J. W. Addison et al., Ed., Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1965, pp. 206-220.
21. LEMMON, E., 'Algebraic semantics for modal logics' (I and II), The Journal of Symbolic Logic 31 (1966), 46-65 and 191-218.
22. LEMMON, E. J., An Introduction to Modal Logic. Blackwell, Oxford, 1977. In collaboration with D. Scott.
23. LEWIS, C. I., and C. H. LANGFORD, Symbolic Logic. The Century Company, New York, 1932. Reprinted by Dover, New York, 1959.
24. ŁUKASIEWICZ, J., 'Philosophische Bemerkungen zu mehrwertigen Systemen der Aussagenlogik', Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III 23 (1930), 51-77. English translation in [28], 153-178.
25. ŁUKASIEWICZ, J., Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press, Oxford, 1951.
26. ŁUKASIEWICZ, J., 'A system of modal logic', The Journal of Computing Systems 1 (1953), 111-149. Reprinted in [28], 352-390.
27. ŁUKASIEWICZ, J., Aristotle's Syllogistic from the Standpoint of Modern Formal Logic (2nd enlarged edition). Clarendon Press, Oxford, 1957.
28. ŁUKASIEWICZ, J., Selected Works, edited by L. Borkowski. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1970.
29. ŁUKASIEWICZ, J., and A. TARSKI, 'Untersuchungen über den Aussagenkalkül', Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III 23 (1930), 30-50. Reprinted in [28], 131-152.
30. MCCALL, S., Aristotle's modal syllogisms. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1963.
31. MULHERN, M. M. 'Aristotle on universality and necessity', Logique et Analyse 12 (1969), 288-299.
32. OMELYANTCHIK, V., 'Aristotle's extensional modality: Hintikka's intuitions, Łukasiewicz's logic and Mignucci's verdict', Theoria (San Sebastián) 14 (34) (1999), 25-38.
33. PATZIG, G., Aristotle's Theory of the Syllogism. Synthese Library. Reidel, 1968.
34. PORTE, J., 'The Ω-system and the Ł-system of modal logic'. Notre Dame Journal of Formal Logic 20, 4 (1979), 915-920.
35. PORTE, J., Łukasiewicz's Ł-modal system and classical refutability', Logique et Analyse (N.S.) 27, 105 (1984), 87-92.
36. PRIOR, A. N., Time and Modality. Clarendon Press, Oxford, 1957.
37. SEGERBERG, K., An Essay in Classical Modal Logic. Philosophical Studies. Uppsala University, Uppsala, 1971. 3 vols.
38. SMILEY, T. J., 'On Łukasiewicz's Ł-modal system', Notre Dame Journal of Formal Logic 2 (1961), 149-153.
39. SMILEY, T. J., 'Syllogism and quantification', The Journal of Symbolic Logic 27 (1962), 58-72.
40. SMILEY, T. J., 'Relative necessity', The Journal of Symbolic Logic 28, 2 (1963), 113-134.
41. SMILEY, T. J., 'What is a syllogism?', Journal of Philosophical Logic 2 (1973), 136-154.
42. VAKARELOV, D., 'Ein Aussagenkalkül mit Funktionen für "Glaubwürdigkeit" und "Zweifel"', Annuaire de l'Université de Sofia, Fac. Math. 60 (1965-1966) (1967), 83-103. (Bulgarian with German summary).
43. VAKARELOV, D., 'Ein Aussagenkalkül mit Funktionen für "Glaubwürdigkeit" und "Gweifel", part II', Annuaire de l'Université de Sofia, Fac. Math. 61 (1966-67) (1968), 47-70. (Bulgarian with German summary).
44. WÓJCICKI, R. Theory of Logical Calculi. Basic Theory of Consequence Operations, vol. 199 of Synthese Library. Reidel, Dordrecht, 1988.