Results for 'Ė Maksimova'

964 found
Order:
  1. Situat︠s︡ii︠a︡: ocherki.Maksimova - 1987 - Moskva: "Izvestii︠a︡".
    No categories
     
    Export citation  
     
    Bookmark  
  2.  44
    Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.
    All extensions of the modal Grzegorczyk logic Grz possessing projective Beth's property PB2 are described. It is proved that there are exactly 13 logics over Grz with PB2. All of them are finitely axiomatizable and have the finite model property. It is shown that PB2 is strongly decidable over Grz, i.e. there is an algorithm which, for any finite system Rul of additional axiom schemes and rules of inference, decides if the calculus Grz+Rul has the projective Beth property.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  23
    P300 and the validity of psychophysiological descriptions of behavior.Igor O. Aleksandrov & Natalia E. Maksimova - 1988 - Behavioral and Brain Sciences 11 (3):374.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  10
    On the prognostic and modeling functions of the social utopias of Russian cosmists.Olga Khalutornykh & Maria Maksimova - 2021 - Sotsium I Vlast 4:50-57.
    Introduction. The article is focused on analyzing the utopian direction of Russian cosmism and its influence on the Soviet cosmonautics and the development of society in the USSR. This philosophical theory was created in the period that made it possible to incorporate the applied aspects of utopia into scientific and technological progress and thereby embody a number of steps towards the outer space exploration. The authors have developed criteria and parameters for assessing the utopian component of the Russian cosmism theories, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  44
    Maksimova L. L.. O modéláh isčisléniá E . Algébra i logika, vol. 6 no. 6 , pp. 5–20. [REVIEW]Alan Ross Anderson - 1971 - Journal of Symbolic Logic 36 (3):521.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  48
    Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
    We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that there is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  7.  27
    Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic.Judit X. Madarász - 1998 - Journal of Applied Non-Classical Logics 8 (1):67-105.
    ABSTRACT The two main directions pursued in the present paper are the following. The first direction was started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  47
    On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
    For intermediate logics, there is obtained in the paper an algebraic equivalent of the disjunction propertyDP. It is proved that the logic of finite binary trees is not maximal among intermediate logics withDP. Introduced is a logicND, which has the only maximal extension withDP, namely, the logicML of finite problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  9.  45
    Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
    This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  10.  60
    Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
    A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.Theorem on interpolation. For every intermediate logic L the following statements are equivalent:(i) Craig's interpolation theorem holds in L, (ii) L possesses the generalized interpolation property, (iii) Robinson's consistency statement is true in L.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  11.  42
    Intuitionistic logic and implicit definability.Larisa Maksimova - 2000 - Annals of Pure and Applied Logic 105 (1-3):83-102.
    It is proved that there are exactly 16 superintuitionistic propositional logics with the projective Beth property. These logics are finitely axiomatizable and have the finite model property. Simultaneously, all varieties of Heyting algebras with strong epimorphisms surjectivity are found.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  12. Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.
    Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena Rasiowa in [48], [47]. It is very fruitful in investigation of non-classical logics because it makes possible to study large families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply powerful machinery of universal algebra. In this paper we present an overview of results on interpolation and definability in modal and positive logics,and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  46
    On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
    In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any normal modal logic is equivalent to the so-called super-embedding property of a suitable class of modal algebras. The joint embedding property of a class of algebras is equivalent to the Pseudo-Relevance Property. We consider connections of the above-mentioned properties with interpolation and amalgamation. Also an algebraic equivalent of of the principle of variable separation in superintuitionistic logics will (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14. On variable separation in modal logics.L. L. Maksimova - 1995 - Bulletin of the Section of Logic 24 (1):21-25.
  15.  8
    Negotiation of dominant AI narratives in museum exhibitions.Alisa Maksimova - forthcoming - AI and Society:1-14.
    Narratives of artificial intelligence frame public perceptions and expectations, and have a performative role, potentially leading to increased attention and resource allocation, acceptance of AI, or resistance to the technology. However, research on AI narratives frequently produces generalized and decontextualized accounts. This paper argues for closer examination of the specific processes that shape AI narratives in particular contexts. To explore this, nine AI-related exhibitions held in German museums from 2022 to 2023 were analyzed. The study draws on interviews with curatorial (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    Complexity of some problems in modal and superintuitionistic logics.Larisa Maksimova & Andrei Voronkov - 2000 - Bulletin of Symbolic Logic 6:118-119.
  17.  19
    Restricted Interpolation in Modal Logics.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 297-311.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  27
    Temporal logics of “the next” do not have the beth property.Larisa Maksimova - 1991 - Journal of Applied Non-Classical Logics 1 (1):73-76.
  19.  49
    Complexity of interpolation and related problems in positive calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
    We consider the problem of recognizing important properties of logical calculi and find complexity bounds for some decidable properties. For a given logical system L, a property P of logical calculi is called decidable over L if there is an algorithm which for any finite set Ax of new axiom schemes decides whether the calculus L + Ax has the property P or not. In [11] the complexity of tabularity, pre-tabularity, and interpolation problems over the intuitionistic logic Int and over (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  26
    Definability theorems in normal extensions of the probability logic.Larisa L. Maksimova - 1989 - Studia Logica 48 (4):495-507.
    Three variants of Beth's definability theorem are considered. Let L be any normal extension of the provability logic G. It is proved that the first variant B1 holds in L iff L possesses Craig's interpolation property. If L is consistent, then the statement B2 holds in L iff L = G + {0}. Finally, the variant B3 holds in any normal extension of G.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. A Short Scientific Autobiography.Larisa Maksimova - 2018 - In Sergei Odintsov, Larisa Maksimova on Implication, Interpolation, and Definability. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  22.  8
    Interpolation and Beth Definability over the Minimal Logic.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 459-463.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  39
    Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
    In a previous paper [ 21 ] all extensions of Johansson’s minimal logic J with the weak interpolation property WIP were described. It was proved that WIP is decidable over J. It turned out that the weak interpolation problem in extensions of J is reducible to the same problem over a logic Gl, which arises from J by adding tertium non datur. In this paper we consider extensions of the logic Gl. We prove that only finitely many logics over Gl (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  37
    Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
    The provability logic GL was in the field of interest of A.V. Kuznetsov, who had also formulated its intuitionistic analog—the intuitionisticprovability logic—and investigated these two logics and their extensions.In the present paper, different versions of interpolation and of the Bethproperty in normal extensions of the provability logic GL are considered. Itis proved that in a large class of extensions of GL almost all versions of interpolation and of the Beth propertyare equivalent. It follows that in finite slice logics over GL (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 133-140.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  26. Interpoli︠a︡t︠s︡ionnai︠a︡ teorema Lindona v modalʹnykh logikakh.L. L. Maksimova - 1982 - In S. L. Sobolev, Matematicheskai︠a︡ logika i teorii︠a︡ algoritmov. Novosibirsk: Izd-vo "Nauka," Sibirskoe otd-nie.
     
    Export citation  
     
    Bookmark  
  27. Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 349-363.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  28.  14
    Tvorchestvo: sozidanie ili destrukt︠s︡ii︠a︡?S. V. Maksimova - 2006 - Moskva: Akademicheskiĭ proekt.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Interpolation and Definability.D. M. Gabbay & L. L. Maksimova - 2011 - In D. M. Gabbay & L. L. Maksimova, ¸ Itegabbay2011. Springer.
     
    Export citation  
     
    Bookmark   7 citations  
  30.  32
    Semiospheric transitions.Edna Andrews & Elena Maksimova - 2008 - Sign Systems Studies 36 (2):259-268.
    Lotman’s contribution to semiotic theory, anthroposemiotics, the study of artistic texts and defining the relationship between language and culture represent some of the most powerful work produced within the Tartu–Moscow School of Semiotics. The importance of translation is one of the central principles that unites all of Lotman’s work. In the following paper, we will consider Lotman’s definition of translatability in the context of (1) the definition of semiospheric internal and external boundaries and the importance of crossing these boundaries, (2) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  66
    Alan Ross Anderson, Nuel D. BelnapJr., and J. Michael Dunn. Entailment. The logic of relevance and necessity. Volume II. Princeton University Press, Princeton and Oxford1992, xxvii + 749 pp. [REVIEW]Larisa Maksimova - 1996 - Journal of Symbolic Logic 61 (1):338-341.
  32. (1 other version)Problems in Set Theory, Mathematical Logic and the Theory of Algorithms.Igor Lavrov, Larisa Maksimova & Giovanna Corsi - 2005 - Studia Logica 79 (3):409-410.
     
    Export citation  
     
    Bookmark   2 citations  
  33.  29
    Semiosfäärilised ülekanded.Edna Andrews & Elena Maksimova - 2008 - Sign Systems Studies 36 (2):269-269.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. ¸ Itegabbay2011.D. M. Gabbay & L. L. Maksimova - 2011 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Problema cheloveka, gumanisticheskiĭ i sot︠s︡ialʹnyĭ aspekty: mezhvuzovskiĭ sbornik.O. D. Leonov, V. S. Maksimova & M. A. Slavina (eds.) - 1979 - Petrozavodsk: Petrozavodskiĭ gos. universitet im. O.V. Kuusinena.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  24
    Interpolation and Definability: Modal and Intuitionistic Logics.Dov M. Gabbay & Larisa Maksimova - 2005 - Oxford, England: Oxford University Press UK.
    This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, J. M. Dunn and G. Hardegree's Algebraic Methods in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  30
    Larisa Maksimova on Implication, Interpolation, and Definability.Sergei Odintsov (ed.) - 2018 - Cham, Switzerland: Springer Verlag.
    This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics. Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38. Maksimova, Relevance and the Study of Lattices of Non-classical Logics.Sergei Odintsov - 2018 - In Larisa Maksimova on Implication, Interpolation, and Definability. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  39.  21
    A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics.Guillermo Badia - 2017 - Australasian Journal of Logic 14 (1).
    We provide a sucient frame-theoretic condition for a super bi-intuitionistic logic to have Maksimova's variable separation property. We conclude that bi-intuitionistic logic enjoys the property. Furthermore, we offer an algebraic characterization of the super-bi-intuitionistic logics with Maksimova's property.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  44
    A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics.H. Naruse, Bayu Surarso & H. Ono - 1998 - Notre Dame Journal of Formal Logic 39 (1):94-113.
  41.  25
    (1 other version)L. L. Maksimova. Nékotoryé voprosy isčisléniá Akkérmana. Doklady Akademii Nauk SSSR, vol. 175 , pp. 1222–1224. - L. L. Maksimova. Some problems of the Ackermann calculus. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 8 no. 4 , pp. 997–999. [REVIEW]Alan Ross Anderson - 1969 - Journal of Symbolic Logic 33 (4):608-610.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  67
    Igor Lavrov and Larisa Maksimova, problems in set theory, mathematical logic and the theory of algorithms, edited by Giovanna Corsi, translated by Valentin Shehtman, kluwer academic/plenum publishers, new York, 2003, US$141.00, pp. XI + 282, ISBN 0-306-47712-2, hardbound. [REVIEW]Ewa Palka - 2005 - Studia Logica 81 (2):283-292.
  43.  41
    Dončénko V. V.. Nékotoryé voprosy, svázannyé s problémoj razréšéniá dlá isçisléniá strogoj implikacii Akkérmana . Problémy logiki, Izdatél′stvo Akadémii SSSR, Moscow 1963, pp. 18–24.Maksimova L. L.. O sistémé aksiom isčisléniá strogoj implikacii . Algébra i logika, Séminar, vol. 3 no. 3 , pp. 59–68.Maksimova L. L.. Formal′nyé vyvody v isčislénii strogoj implikacii . Algébra i logika, Séminar, vol. 5 no. 6 , pp. 33–39. [REVIEW]Alan Ross Anderson - 1968 - Journal of Symbolic Logic 33 (3):484-485.
  44.  98
    Book review: Igor Lavrov, Larisa Maksimova, problems in set theory, mathematical logic and the theory of algorithms, edited by Giovanna Corsi, kluwer academic / plenum publishers, 2003, us$141.00, pp. XII + 282, isbn 0-306-47712-2, hardbound. [REVIEW]Elliott Mendelson - 2005 - Studia Logica 79 (3):409-410.
  45. Individuo e Persona: la concezione classica.E. Berti - 1995 - Studium 91 (4-5):515-527.
    No categories
     
    Export citation  
     
    Bookmark   16 citations  
  46.  28
    Les formes élémentaires de la vie religieuse.Émile Durkheim - 1937 - Paris,: F. Alcan.
    Durkheim écrit ce livre avec un but double : d'abord il voulait expliquer ce qui crée une société, ce qui la tient ensemble ; ensuite il voulait éclaircir l'influence qu'a la société sur la pensée logique. Pour Durkheim, la religion est la clé utilisée pour déverrouiller ces deux problématiques.Dans ce livre, Durkheim argumente que les représentations religieuses sont en fait des représentations collectives : l'essence du religieux ne peut être que le sacré. Il est une caractéristique qui se trouve universellement (...)
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  47.  55
    Dialética e experiência.Franklin Leopoldo E. Silva - 2005 - Dois Pontos 2 (2).
    É bem conhecida a oposição estabelecida por Kant entre experiência possível e dialética, na medida em que esta última é caracterizada como a “lógica da ilusão”. Ao mesmo tempo, o modo de pensar metafísico, que ocorre dialeticamente, em sentido kantiano, é uma tendência inevitável da razão, expressa na exigência formal de completude das categorias. Como o pensar, enquanto exercício livre da razão, é em si mesmo mais amplo do que a atividade de conhecer, própria do entendimento, o pensar contém o (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Ėkofilosofii︠a︡--razvitii︠u︡ kulʹtury mira: monografii︠a︡.Ė. V. Barkova (ed.) - 2023 - Moskva: Ru-Science.
    gl. 1. Ėkofilosofii︠a︡ kak zhiznesokhrani︠a︡i︠u︡shchiĭ kulʹturnyĭ proekt -- gl. 2. Obrazy kulʹtury mira v istoriko-personologicheskom izmerenii -- gl. 3. Borʹba za mir v sovremennom mire : opyt, kont︠s︡ept︠s︡ii, modeli resheniĭ.
     
    Export citation  
     
    Bookmark  
  49. VKnowledge Activation: Accessibility, Applicability, and Salience, V in E. Tory Higgins and Arie W. Kruglanski, eds.E. T. Higgins - 1996 - In E. E. Higgins & A. Kruglanski, Social Psychology: Handbook of Basic Principles. Guilford.
     
    Export citation  
     
    Bookmark   33 citations  
  50.  10
    Universidade e Memória.Franklin Leopoldo E. Silva - 2024 - Discurso 54 (1):6-14.
    Em artigo inédito, Franklin Leopoldo e Silva desenvolve os sentidos da memória na produção da identidade, destacando as relações significativas do presente com o passado e o futuro na construção da história. Desse ponto, o autor acentua o papel das instituições nesse processo – um processo de exercício de poder, no qual se tem, na verdade, a institucionalização do poder – e, dentre elas, em particular a instituição universitária.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 964