Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Revaz Grigolia
Formulas of One Propositional Variable in Intuitionistic Logic With the Solovay Modality
Logic and Logical Philosophy
Philosophy
Projectivity and Unification in the Varieties of Locally Finite Monadic MV-algebras
Related publications
Between $Int_{\omega , \Omega}$ and Intuitionistic Propositional Logic
Logical Investigations
Separation Logic With One Quantified Variable
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Axiomatization of Propositional Logic
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Modality and Propositional Attitudes
Expressions of Propositional Modality in Japanese and Chinese
Open Journal of Modern Linguistics
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Propositional Logic of Temporal Connectives
Logic and Logical Philosophy
Philosophy
Encodings of Problems in Effectively Propositional Logic
