1 |
E. Or lowska and I. Rewitzky, Duality via Truth: Semantic frameworks for lattice-based logics, Log. J. IGPL 13 (2005), no. 4, 467-490.
DOI
ScienceOn
|
2 |
H. Rasiowa, An Algebraic Approach to Non-Classical Logics, Studies in Logic and the Foundations of Mathematics, 78, North-Holland, 1974.
|
3 |
H. P. Sankappanavar, Heyting algebras with a dual lattice endomorphism, Z. Math. Logik Grundlag. Math. 33 (1987), no. 6, 565-573.
|
4 |
C. Chirita, Tense -valued Moisil propositional logic, Int. J. of Computers, Communications & Control 5 (2010), no. 5, 642-653.
DOI
|
5 |
A. V. Figallo, C. Gallardo, and G. Pelaitay, Tense operators on m-symmetric algebras, Int. Math. Forum 41 (2011), no. 6, 2007-2014.
|
6 |
C. Chirita, Tense -valued Lukasiewicz-Moisil algebras, Journal of Multiple Valued Logic and Soft Computing 17 (2011), no. 1, 1-24.
|
7 |
D. Diaconescu and G. Georgescu, Tense operators on MV -algebras and Lukasiewicz-Moisil algebras, Fund. Inform. 81 (2007), no. 4, 379-408.
|
8 |
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.
|
9 |
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.
|
10 |
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.
|
11 |
L. Iturrioz, Symmetrical Heyting algebras with operators, Z. Math. Logik Grundlag. Math. 29 (1983), no. 1, 33-70.
DOI
|
12 |
T. Kowalski, Varieties of tense algebras, Rep. Math. Logic 32 (1998), 53-95.
|
13 |
Gr. C. Moisil, Logique modale, Disquisit. Math. Phys. 2 (1942), 3-98.
|
14 |
A. Monteiro, Sur les algebres de Heyting Simetriques, Special issue in honor of Antonio Monteiro, Portugal. Math. 39 (1980), no. 1-4, 1-237.
|
15 |
E. Or lowska and I. Rewitzky, Discrete Dualities for Heyting Algebras with Operators, Fund. Inform. 81 (2007), no. 1-3, 275-295.
|
16 |
I. Chajda, Algebraic axiomatization of tense intuitionistic logic, Cent. Eur. J. Math. 9 (2011), no. 5, 1185-1191.
DOI
ScienceOn
|
17 |
R. Balbes and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Miss, 1974.
|
18 |
M. Botur, I. Chajda, R. Halas, and M. Kolarik, Tense operators on basic algebras, to appear in Internat. J. of Theoret. Phys.
|
19 |
J. Burgess, Basic tense logic, Handbook of philosophical logic, Vol. II, 89-133, Synthese Lib., 165, Reidel, Dordrecht, 1984.
|