Bulletin of the Section of Logic > 2021 > 50 > 3 > 299-324
Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.2021.11 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] M. Botur, I. Chajda, R. Halaš, M. Kolařík, Tense operators on basic algebras, International Journal of Theoretical Physics, vol. 50 (2011), pp. 3737–3749, DOI: https://doi.org/10.1007/s10773-011-0748-4
-
[2] J. P. Burgess, Basic Tense Logic, [in:] D. M. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, Springer Netherlands, Dordrecht (2002), pp. 1–42, DOI: https://doi.org/10.1007/978-94-017-0462-5_1
-
[3] I. Chajda, Algebraic axiomatization of tense intuitionistic logic, Open Mathematics, vol. 9(5) (2011), pp. 1185–1191, URL: http://eudml.org/doc/269762