Results for 'Rezo Grigolia'

14 found
Order:
  1. O formułach m-zmiennych w rachunkach Łukasiewicza [w jęz.ros.].Rezo Grigolia - 1983 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 3.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  22
    Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
    Gödel logic is the extension of intuitionistic logic by the linearity axiom. Symmetric Gödel logic is a logical system, the language of which is an enrichment of the language of Gödel logic with their dual logical connectives. Symmetric Gödel logic is the extension of symmetric intuitionistic logic. The proof-intuitionistic calculus, the language of which is an enrichment of the language of intuitionistic logic by modal operator was investigated by Kuznetsov and Muravitsky. Bimodal symmetric Gödel logic is a logical system, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  20
    Critical varieties of bi-closure algebras.Revaz Grigolia & Slava Meskhi - 1981 - Bulletin of the Section of Logic 10 (1):2-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  61
    Nonsense logics and their algebraic properties.Victor K. Finn & Revaz Grigolia - 1993 - Theoria 59 (1-3):207-273.
  5.  22
    Representations of monadic MV -algebras.L. Peter Belluce, Revaz Grigolia & Ada Lettieri - 2005 - Studia Logica 81 (1):123-144.
    Representations of monadic MV -algebra, the characterization of locally finite monadic MV -algebras, with axiomatization of them, definability of non-trivial monadic operators on finitely generated free MV -algebras are given. Moreover, it is shown that finitely generated m-relatively complete subalgebra of finitely generated free MV -algebra is projective.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  35
    On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.
    We define and study monadic MV-algebras as pairs of MV-algebras one of which is a special case of relatively complete subalgebra named m-relatively complete. An m-relatively complete subalgebra determines a unique monadic operator. A necessary and sufficient condition is given for a subalgebra to be m-relatively complete. A description of the free cyclic monadic MV-algebra is also given.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  7.  16
    Gödel spaces and perfect MV-algebras.Antonio Di Nola & Revaz Grigolia - 2015 - Journal of Applied Logic 13 (3):270-284.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  43
    Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
    The MV-algebra S m w is obtained from the (m+1)-valued ukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MV m w generated by S m w . This yields an easy description of the free MV m w -algebras over one generator. We characterize (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  16
    Formulas of one propositional variable in intuitionistic logic with the Solovay modality.Leo Esakia & Revaz Grigolia - 2008 - Logic and Logical Philosophy 17 (1-2):111-127.
    A description of the free cyclic algebra over the variety of Solovay algebras, as well as over its pyramid locally finite subvarieties is given.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  51
    A discrete representation of free MV-algebras.Antonio Di Nola, Revaz Grigolia & Luca Spada - 2010 - Mathematical Logic Quarterly 56 (3):279-288.
    We prove that the m -generated free MV-algebra is isomorphic to a quotient of the disjoint union of all the m -generated free MV-algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MV-algebras and special maps between them as morphisms.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  8
    Involutive symmetric Gödel spaces, their algebraic duals and logic.A. Di Nola, R. Grigolia & G. Vitale - 2023 - Archive for Mathematical Logic 62 (5):789-809.
    It is introduced a new algebra$$(A, \otimes, \oplus, *, \rightharpoonup, 0, 1)$$(A,⊗,⊕,∗,⇀,0,1)called$$L_PG$$LPG-algebra if$$(A, \otimes, \oplus, *, 0, 1)$$(A,⊗,⊕,∗,0,1)is$$L_P$$LP-algebra (i.e. an algebra from the variety generated by perfectMV-algebras) and$$(A,\rightharpoonup, 0, 1)$$(A,⇀,0,1)is a Gödel algebra (i.e. Heyting algebra satisfying the identity$$(x \rightharpoonup y ) \vee (y \rightharpoonup x ) =1)$$(x⇀y)∨(y⇀x)=1). The lattice of congruences of an$$L_PG$$LPG-algebra$$(A, \otimes, \oplus, *, \rightharpoonup, 0, 1)$$(A,⊗,⊕,∗,⇀,0,1)is isomorphic to the lattice of Skolem filters (i.e. special type ofMV-filters) of theMV-algebra$$(A, \otimes, \oplus, *, 0, 1)$$(A,⊗,⊕,∗,0,1). The variety$$\mathbf {L_PG}$$LPGof$$L_PG$$LPG-algebras (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    El Concilio III de Toledo: Aspectos litúrgicos.Juan Manuel Sierra López - 2022 - Isidorianum 31 (2):159-182.
    El Concilio III de Toledo, celebrado en mayo del año 589 a instancias del rey Recaredo, constituye un acontecimiento excepcional para la historia de España y para la historia de la Iglesia. La liturgia ocupa un lugar de gran importancia en este Concilio, pues en ella se recoge y se expresa la fe. Al mismo tiempo, la liturgia sirve para alimentar la fe, como se ve en la introducción del rezo del Credo en la celebración de la Misa, prescrito (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  21
    A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute.Aldo Figallo Orellano - 2016 - Studia Logica 104 (5):931-956.
    In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and (...) :125–139, 2004) related to the characterization of a quantifier in terms of some special sub-algebra associated to it. On the other hand, we present a topological duality for this class of algebras and we apply it to characterize the congruences of one algebra via certain closed sets. Finally, we study the subvariety of this class generated by a chain of length n + 1. We prove that the subvariety is semisimple and we characterize their simple algebras. Using a special functional algebra, we determine all the simple finite algebras of this subvariety. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Grande Sertão: Veredas by João Guimarães Rosa.Felipe W. Martinez, Nancy Fumero & Ben Segal - 2013 - Continent 3 (1):27-43.
    INTRODUCTION BY NANCY FUMERO What is a translation that stalls comprehension? That, when read, parsed, obfuscates comprehension through any language – English, Portuguese. It is inevitable that readers expect fidelity from translations. That language mirror with a sort of precision that enables the reader to become of another location, condition, to grasp in English in a similar vein as readers of Portuguese might from João Guimarães Rosa’s GRANDE SERTÃO: VEREDAS. There is the expectation that translations enable mobility. That what was (...)
     
    Export citation  
     
    Bookmark