HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
Abstrakt
PEŁNY TEKST:
PDFReferences
[1] G. Bezhanisvili, Varieties of monadic Heyting algebras I, Studia Logica 61 (1998), 367–402.
[2] G. Bierman and V. de Paiva, On an Intuitionistic Modal, Logic Studia Logica 65 (2000), 383–416.
[3] P. Blackburn, M. de Rijke and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science 53. Cambridge University Press (2001).
[4] D. Busneag, A note of deductive system of a Hilbert algebras, Kobe Journal of Mathematics 2 (1985), 29–35.
[5] S. A. Celani, Modal Tarski algebras, Reports on Math. Logic 39 (2005), 113–126. [6] S. A. Celani, A note on homomorphism of Hilbert algebras, Int. Journal of Math. and Mathematical Sc. 29:1 (2002),
55–61.
[7] S. A. Celani and L. M. Cabrer, Duality for finite Hilbert algebras, Discrete Mathe- matics 305 (2005), 74–99.
[8] S. A. Celani, L. M. Cabrer and D. Montangie, Topological Duality for Hilbert algebras, Central European Journal
of Mathematics 7:3 (2009), 463–478.
[9] S. A. Celani and D. Montangie, Hilbert Algebras with supremum, Algebra Univer- salis 67:3 (2012), 237–255.
[10] S. A. Celani, Simple and subdirectly irreducibles bounded distributive lattices with unary operators, International
Journal of Mathematics and Mathematical Sciences, Article ID 21835, 20 pages, (2006).doi:10.1155/IJMMS/2006/21835.
[11] A. Diego, Sur les alg`ebres de Hilbert, Coll´ection de Logique Math`ematique, serie A 21 (1966), Gouthier-Villars, Paris.
[12] M. Fairtlough and M. Mendler, Propositional Lax Logic, Information and Compu- tation 137:1 (1997), 1–33.
[13] G. Fischer Servi, On Modal Logics with an Intuitionistic Base, Studia Logica 36:2 (1977), 141–149.
[14] G. Fischer Servi, Axiomatizations for some Intuitionistic Modal Logics, Rendi- conti del Seminario Matematico dell’
Universit`a Politecnic