참고문헌
- R. Balbes and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Miss, 1974.
- M. Botur, I. Chajda, R. Halas, and M. Kolarik, Tense operators on basic algebras, to appear in Internat. J. of Theoret. Phys.
- J. Burgess, Basic tense logic, Handbook of philosophical logic, Vol. II, 89-133, Synthese Lib., 165, Reidel, Dordrecht, 1984.
- I. Chajda, Algebraic axiomatization of tense intuitionistic logic, Cent. Eur. J. Math. 9 (2011), no. 5, 1185-1191. https://doi.org/10.2478/s11533-011-0063-6
-
C. Chirita, Tense
$\theta$ -valued Moisil propositional logic, Int. J. of Computers, Communications & Control 5 (2010), no. 5, 642-653. https://doi.org/10.15837/ijccc.2010.5.2220 -
C. Chirita, Tense
$\theta$ -valued Lukasiewicz-Moisil algebras, Journal of Multiple Valued Logic and Soft Computing 17 (2011), no. 1, 1-24. - D. Diaconescu and G. Georgescu, Tense operators on MV -algebras and Lukasiewicz-Moisil algebras, Fund. Inform. 81 (2007), no. 4, 379-408.
- W. Dzik, E. Orlowska, and C. van Alten, Relational representation theorems for general lattices with negations, Relations and Kleene algebra in computer science, 162-176, Lecture Notes in Comput. Sci., 4136, Springer, Berlin, 2006.
- A. V. Figallo, C. Gallardo, and G. Pelaitay, Tense operators on m-symmetric algebras, Int. Math. Forum 41 (2011), no. 6, 2007-2014.
- A. V. Figallo and G. Pelaitay, Tense operators on SHn-algebras, Pioneer Journal of Algebra, Number Theory and its Aplications 1 (2011), no. 1, 33-41.
- A. V. Figallo, G. Pelaitay, and C. Sanza, Operadores temporales sobre algebras de Heyting simetricas, LIX Reunion Anual de la Union Matematica Argentina. Universidad Nacional de Mar del Plata, 2009.
- L. Iturrioz, Symmetrical Heyting algebras with operators, Z. Math. Logik Grundlag. Math. 29 (1983), no. 1, 33-70. https://doi.org/10.1002/malq.19830290202
- T. Kowalski, Varieties of tense algebras, Rep. Math. Logic 32 (1998), 53-95.
- Gr. C. Moisil, Logique modale, Disquisit. Math. Phys. 2 (1942), 3-98.
- A. Monteiro, Sur les algebres de Heyting Simetriques, Special issue in honor of Antonio Monteiro, Portugal. Math. 39 (1980), no. 1-4, 1-237.
- E. Or lowska and I. Rewitzky, Discrete Dualities for Heyting Algebras with Operators, Fund. Inform. 81 (2007), no. 1-3, 275-295.
- E. Or lowska and I. Rewitzky, Duality via Truth: Semantic frameworks for lattice-based logics, Log. J. IGPL 13 (2005), no. 4, 467-490. https://doi.org/10.1093/jigpal/jzi035
- H. Rasiowa, An Algebraic Approach to Non-Classical Logics, Studies in Logic and the Foundations of Mathematics, 78, North-Holland, 1974.
- H. P. Sankappanavar, Heyting algebras with a dual lattice endomorphism, Z. Math. Logik Grundlag. Math. 33 (1987), no. 6, 565-573.
피인용 문헌
- An algebraic axiomatization of the Ewald’s intuitionistic tense logic vol.18, pp.10, 2014, https://doi.org/10.1007/s00500-014-1317-6
- Tense operators on De Morgan algebras vol.22, pp.2, 2014, https://doi.org/10.1093/jigpal/jzt024
- Characterizing intermediate tense logics in terms of Galois connections vol.22, pp.6, 2014, https://doi.org/10.1093/jigpal/jzu024
- Tense operators in fuzzy logic vol.276, 2015, https://doi.org/10.1016/j.fss.2014.09.007
- Subdirectly Irreducible IKt-Algebras vol.105, pp.4, 2017, https://doi.org/10.1007/s11225-017-9707-2
- Duality Results for (Co)Residuated Lattices pp.1661-8300, 2019, https://doi.org/10.1007/s11787-018-0217-4
- Principal and Boolean Congruences on $$\varvec{IKt}$$IKt-Algebras vol.106, pp.4, 2018, https://doi.org/10.1007/s11225-017-9770-8