Revaz Grigolia

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 9

Top Topics

Dynamic Epistemic Logic

Topological Spaces

Datalog Queries

Boolean Algebra

Top Venues

Int. J. Approx. Reason.

Arch. Math. Log.

Publications

Antonio Di Nola, Revaz Grigolia, Gaetano Vitale
Involutive symmetric Gödel spaces, their algebraic duals and logic. Arch. Math. Log. 62 (5-6) (2023)
Antonio Di Nola, Revaz Grigolia, Gaetano Vitale
Epistemic Łukasiewicz logic of partial knowledge. Soft Comput. 26 (19) (2022)
Antonio Di Nola, Revaz Grigolia
Forensic Dynamic Lukasiewicz Logic. TFSS 1 (2) (2022)
Antonio Di Nola, Revaz Grigolia, Nunu Mitskevich, Gaetano Vitale
Dynamic Łukasiewicz logic and its application to immune system. Soft Comput. 25 (15) (2021)
Antonio Di Nola, Revaz Grigolia, Gaetano Vitale
-algebras. Int. J. Approx. Reason. 124 (2020)
Antonio Di Nola, Revaz Grigolia, Gaetano Vitale
On the variety of Gödel MV-algebras. Soft Comput. 23 (24) (2019)
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
Topological spaces of monadic MV-algebras. Soft Comput. 23 (2) (2019)
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
On the Lattice of the Subvarieties of Monadic MV (C)-algebras. FLAP 5 (1) (2018)
Revaz Grigolia, Tatiana Kiseliova, Vladimer Odisharia
Free and Projective Bimodal Symmetric Gödel Algebras. Stud Logica 104 (1) (2016)
Antonio Di Nola, Revaz Grigolia
Gödel spaces and perfect MV-algebras. J. Appl. Log. 13 (3) (2015)
Antonio Di Nola, Revaz Grigolia, Nunu Mitskevich
Multimodal epistemic Łukasiewicz logics with application in immune system. Soft Comput. 19 (11) (2015)
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
Projectivity and unification in the varieties of locally finite monadic MV-algebras. TACL (2013)
Antonio Di Nola, Revaz Grigolia, Luca Spada
A discrete representation of free MV-algebras. Math. Log. Q. 56 (3) (2010)
Antonio Di Nola, Revaz Grigolia, Ada Lettieri
Projective MV-algebras. Int. J. Approx. Reason. 47 (3) (2008)
Antonio Di Nola, Revaz Grigolia
Free MV-algebras. EUSFLAT Conf. (2) (2007)
Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri
-algebras. Stud Logica 81 (1) (2005)
Antonio Di Nola, Revaz Grigolia
-algebras. Ann. Pure Appl. Log. 128 (1-3) (2004)
Antonio Di Nola, Revaz Grigolia
Pro-finite MV-spaces. Discret. Math. 283 (1-3) (2004)
Antonio Di Nola, Revaz Grigolia
-Algebras and Their Automorphism Groups. J. Multiple Valued Log. Soft Comput. 9 (3) (2003)
Antonio Di Nola, Revaz Grigolia
MV-algebras in duality with labelled root systems. Discret. Math. 243 (1-3) (2002)
Antonio Di Nola, Revaz Grigolia
Free MV-algebras. EUSFLAT-ESTYLF Joint Conf. (1999)
Guram Bezhanishvili, Revaz Grigolia
Locally Tabular Extensions of MIPC. Advances in Modal Logic (1998)
Antonio Di Nola, Revaz Grigolia, Giovanni Panti
Finitely Generated Free MV-algebras and Their Automorphism Groups. Stud Logica 61 (1) (1998)