Results for 'Vladimir Litvak'

1000+ found
Order:
  1.  18
    Empirical Bayes for Group Studies: A Reproducibility Study.Vladimir Litvak, Marta Garrido, Peter Zeidman & Karl Friston - 2015 - Frontiers in Human Neuroscience 9.
  2.  22
    Cortico-Subthalamic Coherence in a Patient With Dystonia Induced by Chorea-Acanthocytosis: A Case Report.Chunyan Cao, Peng Huang, Tao Wang, Shikun Zhan, Wei Liu, Yixin Pan, Yiwen Wu, Hongxia Li, Bomin Sun, Dianyou Li & Vladimir Litvak - 2019 - Frontiers in Human Neuroscience 13.
  3.  12
    Vladimir Ruml.Vladimir Ruml - 1960 - Atti Del XII Congresso Internazionale di Filosofia 3:483-485.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Vladimir Jankélévitch Ou de L'Effectivité. Présentation, Choix de Textes, Bibliographie Par Lucien Jerphagnon.Vladimir Jankélévitch & Lucien Jerphagnon - 1969 - Seghers.
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Godmanhood as the Main Idea of the Philosophy of Vladimir Solovyev.Vladimir Sergeyevich Solovyov - 1944 - [Poughkeepsie, N.Y., Harmon Printing House.
     
    Export citation  
     
    Bookmark  
  6.  16
    Letter of Vladimir Solovief to L. M. Tolstoy.Vladimir Solovief - 1928 - New Blackfriars 9 (104):663-668.
  7. Blame, Not Ability, Impacts Moral “Ought” Judgments for Impossible Actions: Toward an Empirical Refutation of “Ought” Implies “Can”.Vladimir Chituc, Paul Henne, Walter Sinnott-Armstrong & Felipe De Brigard - 2016 - Cognition 150:20-25.
    Recently, psychologists have explored moral concepts including obligation, blame, and ability. While little empirical work has studied the relationships among these concepts, philosophers have widely assumed such a relationship in the principle that “ought” implies “can,” which states that if someone ought to do something, then they must be able to do it. The cognitive underpinnings of these concepts are tested in the three experiments reported here. In Experiment 1, most participants judge that an agent ought to keep a promise (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  8. Divine Sophia: The Wisdom Writings of Vladimir Solovyov.Vladimir Sergeyevich Solovyov - 2009 - Cornell University Press.
    "This personification of wisdom with golden hair and a radiant aura echoes both the eternal feminine and the world soul. Rooted in Christian and Jewish mysticism, Eastern Orthodox iconography, Greek philosophy, and European romanticism, the Sophiology that suffuses Solovyov's philosophical and artistic works is both intellectually sophisticated and profoundly inspiring. Judith Deutsch Kornblatt brings together key texts from Solovyov's writings about Sophia: poetry, fiction, drama, and philosophy, all extensively annotated and some available in English for the first time (with assistance (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.
    We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  10.  46
    Admissibility of Logical Inference Rules.Vladimir V. Rybakov - 1997 - Elsevier.
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...)
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  11. Forgiveness.Vladimir Jankélévitch - 2005 - University of Chicago Press.
  12.  46
    Vladimir Solovyov, Nicolai Hartmann, and Levels of Reality.Frédéric Tremblay - 2017 - Axiomathes 27 (2):133-146.
    One of the trademarks of Nicolai Hartmann’s ontology is his theory of levels of reality. Hartmann drew from many sources to develop his version of the theory. His essay “Die Anfänge des Schichtungsgedankens in der alten Philosophie” testifies of the fact that he drew from Plato, Aristotle, and Plotinus. But this text was written relatively late in Hartmann’s career, which suggests that his interest in the theories of levels of the ancients may have been retrospective. In “Nicolai Hartmann und seine (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. From Perceptual Categories to Concepts: What Develops?Vladimir M. Sloutsky - 2010 - Cognitive Science 34 (7):1244-1286.
    People are remarkably smart: They use language, possess complex motor skills, make nontrivial inferences, develop and use scientific theories, make laws, and adapt to complex dynamic environments. Much of this knowledge requires concepts and this study focuses on how people acquire concepts. It is argued that conceptual development progresses from simple perceptual grouping to highly abstract scientific concepts. This proposal of conceptual development has four parts. First, it is argued that categories in the world have different structure. Second, there might (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  14.  31
    Aesthetic Trinity Theory and the Sublime.Vladimir J. Konečni - 2011 - Philosophy Today 55 (1):64-73.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15. On the Nature of Indifferent Lies, a Reply to Rutschmann and Wiegmann.Vladimir Krstić - 2020 - Philosophical Psychology 33 (5):757-771.
    In their paper published in 2017 in Philosophical Psychology, Ronja Rutschmann and Alex Wiegmann introduce a novel kind of lies, the indifferent lies. According to them, these lies are not intended to deceive simply because the liars do not care whether their audience is going to believe them or not. It seems as if indifferent lies avoid the objections raised against other kinds of lies supposedly not intended to deceive. I argue that this is not correct. Indifferent lies, too, are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  4
    A New Line of Research: Synergetic Philosophy and Sociology of Personality.Vladimir Branskij, Kadzhik M. Oganyan & Karina K. Oganyan - 2018 - Wisdom 10 (1):57-72.
    The research of the synergetic philosophy of history leads to a fundamentally new approach to the study of personality and rational understanding of the meaning of life. The heuristic role in the history synergetic philosophy is argued in the structuring of a new human philosophy in the context of the self-organization of man and mankind. It is this aspect that is specific to the synergetic philosophy of man.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17. The Role of Similarity in the Development of Categorization.Vladimir M. Sloutsky - 2003 - Trends in Cognitive Sciences 7 (6):246-251.
  18. Rules of Inference with Parameters for Intuitionistic Logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
    An algorithm recognizing admissibility of inference rules in generalized form (rules of inference with parameters or metavariables) in the intuitionistic calculus H and, in particular, also in the usual form without parameters, is presented. This algorithm is obtained by means of special intuitionistic Kripke models, which are constructed for a given inference rule. Thus, in particular, the direct solution by intuitionistic techniques of Friedman's problem is found. As a corollary an algorithm for the recognition of the solvability of logical equations (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  19. Looking for the Lazy Argument Candidates.Vladimir Marko - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3 & 4):363-383; 447-474.
    The Lazy Argument, as it is preserved in historical testimonies, is not logically conclusive. In this form, it appears to have been proposed in favor of part-time fatalism (including past time fatalism). The argument assumes that free will assumption is unacceptable from the standpoint of the logical fatalist but plausible for some of the nonuniversal or part-time fatalists. There are indications that the layout of argument is not genuine, but taken over from a Megarian source and later transformed. The genuine (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  31
    Information Processing, Memories, and Synchronization in Chaotic Neural Network with the Time Delay.Vladimir E. Bondarenko - 2005 - Complexity 11 (2):39-52.
  21. On Progress in Philosophy.Vladimir V. Mironov - 2013 - Metaphilosophy 44 (1-2):10-14.
    This article seeks to clarify the concept of progress in philosophy. It treats progress as a kind of development. But not every development is a progress. When we talk about progress, what really matters is the direction of development. In some cases it is relatively easy to reach agreement about this direction. But not in the case of philosophy, if we abstract it from the obvious and the trivial, like the number of books on philosophy. As a result, the article (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22. Can You Lie Without Intending to Deceive.Vladimir Krstić - 2019 - Pacific Philosophical Quarterly 100 (2):642–660.
    This article defends the view that liars need not intend to deceive. I present common objections to this view in detail and then propose a case of a liar who can lie but who cannot deceive in any relevant sense. I then modify this case to get a situation in which this person lies intending to tell his hearer the truth and he does this by way of getting the hearer to recognize his intention to tell the truth by lying. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  14
    Induction and Categorization in Young Children: A Similarity-Based Model.Vladimir M. Sloutsky & Anna V. Fisher - 2004 - Journal of Experimental Psychology: General 133 (2):166-188.
  24.  12
    Electrophysiological and Phenomenological Effects of Short-Term Immersion in an Altered Sensory Environment.Vladimir Miskovic, Jeffrey O. Bagg, Matthew Ríos & Jourdan J. Pouliot - 2019 - Consciousness and Cognition 70:39-49.
  25.  26
    Mathematics and the Roots of Postmodern Thought.Vladimir Tasic - 2001 - Oxford University Press.
    This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place in the arts and humanities, discussing issues as diverse as literary theory, arts, and artificial intelligence. This is a straightforward, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  30
    The Role of Words and Sounds in Infants' Visual Processing: From Overshadowing to Attentional Tuning.Vladimir M. Sloutsky & Christopher W. Robinson - 2008 - Cognitive Science 32 (2):342-365.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  27.  14
    Four Methodenstreits Between Behavioral and Mainstream Economics.Vladimir Avtonomov & Yuri Avtonomov - 2019 - Journal of Economic Methodology 26 (3):179-194.
    ABSTRACTThe concept of Methodenstreits is used to analyse the relationship between behavioral and mainstream economics. A Methodenstreit is understood by the authors as a dispute between the more a...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Deception (Under Uncertainty) as a Kind of Manipulation.Vladimir Krstić & Chantelle Saville - 2019 - Australasian Journal of Philosophy 97 (4):830-835.
    In his 2018 AJP paper, Shlomo Cohen hints that deception could be a distinct subset of manipulation. We pursue this thought further, but by arguing that Cohen’s accounts of deception and manipulation are incorrect. Deception under uncertainty need not involve adding false premises to the victim’s reasoning but it must involve manipulating her response, and cases of manipulation that do not interfere with the victim’s reasoning, but rather utilize it, also exist. Therefore, deception under uncertainty must be constituted by covert (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  9
    Processual Thinking in the Ontological and Epistemological Context of Quantum Mechanics.Vladimir I. Arshinov & Vladimir G. Budanov - 2019 - Russian Journal of Philosophical Sciences 62 (7):21-36.
    The problem of commensurability/incommensurability of different cultural codes is a key problem of modern civilizational development. This is the problem of the search for communicative unity in the world of cultural and biological diversity, which has to be protected, and the search for the cohesion of different Umwelten, of semiotically-defined artificial and natural environments, of ecological and cognitive niches, taking into account that each of them has their own identity and uniqueness. The purpose of the article is to draw attention (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. What Makes a Theory of Infinitesimals Useful? A View by Klein and Fraenkel.Vladimir Kanovei, K. Katz, M. Katz & Thomas Mormann - 2018 - Journal of Humanistic Mathematics 8 (1):108 - 119.
    Felix Klein and Abraham Fraenkel each formulated a criterion for a theory of infinitesimals to be successful, in terms of the feasibility of implementation of the Mean Value Theorem. We explore the evolution of the idea over the past century, and the role of Abraham Robinson's framework therein.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  15
    Why Atheism has Not Become a Subject of Philosophy of Religion.Vladimir Shokhin - 2017 - European Journal for Philosophy of Religion 9 (3):65-80.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. What is Answer Set Programming?Vladimir Lifschitz - unknown
    Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers for propositional logic.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Z evolučního hlediska: Pojem evoluce v současné filosofii.Vladimir Havlik & Tomas Hribek (eds.) - 2011 - Praha, Česko: Filosofia.
    [From an Evolutionary Point of View: The Concept of Evolution in Contemporary Philosophy].
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  34. Toward a Demarcation of Forms of Determinism.Vladimir Marko - 2017 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 24 (1):54-84.
    In the current philosophical literature, determinism is rarely defined explicitly. This paper attempts to show that there are in fact many forms of determinism, most of which are familiar, and that these can be differentiated according to their particular components. Recognizing the composite character of determinism is thus central to demarcating its various forms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  16
    Gustav Shpet’s Deep Semiotics.Vladimir Feshchenko - 2015 - Sign Systems Studies 43 (2/3):235-248.
    The article examines the implicit tradition of deep semiotics in Russia initiated by Gustav Shpet, a Russian philosopher of language. Shpet’s semiotic approach was developed synchronously with the major lines of European and American semiotics, but has not been sufficiently known or studied. The recent publication of previously unknown papers by Shpet makes this Russian philosopher an advanced figure on the Russian semiotic scene. Shpet was one of the first Russian scholars to use the term ‘semiotics’, by which he meant (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Knowledge‐Lies Re‐Examined.Vladimir Krstić - 2018 - Ratio 31 (3):312-320.
    Sorensen says that my assertion that p is a knowledge-lie if it is meant to undermine your justification for believing truly that ∼p, not to make you believe that p and that, therefore, knowledge-lies are not intended to deceive. It has been objected that they are meant to deceive because they are intended to make you more confident in a falsehood. In this paper, I propose a novel account according to which an assertion that p is a knowledge-lie if it (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  48
    Hyperlinear and Sofic Groups: A Brief Guide.Vladimir G. Pestov - 2008 - Bulletin of Symbolic Logic 14 (4):449-480.
    This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroups of metric ultraproducts of families of, respectively, unitary groups U (n) and symmetric groups $S_{n},\ n\in {\Bbb N}$ . Hyperlinear groups come from theory of operator algebras (Connes' Embedding Problem), while sofic groups, introduced by Gromov, are motivated by a problem of symbolic dynamics (Gottschalk's Surjunctivity Conjecture). Open questions are numerous, in particular (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  38.  57
    Which Mathematical Objects Are Referred to by the Enhanced Indispensability Argument?Vladimir Drekalović & Berislav Žarnić - 2018 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 49 (1):121-126.
    This discussion note points to some verbal imprecisions in the formulation of the Enhanced Indispensability Argument. The examination of the plausibility of alternative interpretations reveals that the argument’s minor premise should be understood as a particular, not a universal, statement. Interpretations of the major premise and the conclusion oscillate between de re and de dicto readings. The attempt to find an appropriate interpretation for the EIA leads to undesirable results. If assumed to be valid and sound, the argument warrants the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  4
    On The Perceptual, The Conceptual, The Objectively Real And The Problem Of Truth In Cosmogony And Cosmology.Vladimir Ogorodnikov & Kadzhik Oganyan - 2020 - Wisdom 14 (1):56-68.
    Данная статья посвящена философским основаниям различных объяснений фактов, известных из последних научных достижений космогонии и космологии. Показано, что некоторые объяснения по рассматриваемому вопросу молчаливо реабилитируют идею антропоцентризма, уходящую своими корнями в теорию Птолемея. В этом контексте большое внимание уделяется критическому анализу антропного принципа, который является одной из версий современной телеологии. Предполагается, что вышеупомянутый принцип основан на неадекватной интерпретации гипотезы Большого Взрыва. При этом антропный принцип определяется с одной стороны аристотелевской теорией телоса, а с другой-религиозными и мистическими идеями сотворения мира и (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  40. An Empirical Refutation of ‘Ought’ Implies ‘Can’.Paul Henne, Vladimir Chituc, Felipe De Brigard & Walter Sinnott-Armstrong - 2016 - Analysis 76 (3):283-290.
    Most philosophers assume that ‘ought’ implies ‘can’, and most of them hold that this principle is true not only universally but also analytically or conceptually. Some skeptics deny this principle, although they often admit some related one. In this article, we show how new empirical evidence bolsters the skeptics’ arguments. We then defend the skeptical view against some objections to the empirical evidence and to its effect on the traditional principle. In light of the new evidence, we conclude that philosophers (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  41.  9
    One-Dimensional Groups Over an o-Minimal Structure.Vladimir Razenj - 1991 - Annals of Pure and Applied Logic 53 (3):269-277.
    In this paper we prove the following theorem: Any one-dimensional definably connected group G over an o-minimal structure is, as an abstract group, isomorphic to either pPp∞δ or δ.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  18
    A Definable E 0 Class Containing No Definable Elements.Vladimir Kanovei & Vassily Lyubetsky - 2015 - Archive for Mathematical Logic 54 (5-6):711-723.
    A generic extension L[x]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{L}[x]}$$\end{document} by a real x is defined, in which the E0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{E}_0}$$\end{document}-class of x is a lightface Π21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Pi}^1_2}$$\end{document} set containing no ordinal-definable reals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43. Some Sketchy Notes on the Reaper Argument.Vladimir Marko - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):361-387.
    The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  44
    Logics with the Universal Modality and Admissible Consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.
    In this paper1 we study admissible consecutions in multi-modal logics with the universal modality. We consider extensions of multi-modal logic S4n augmented with the universal modality. Admissible consecutions form the largest class of rules, under which a logic is closed. We propose an approach based on the context effective finite model property. Theorem 7, the main result of the paper, gives sufficient conditions for decidability of admissible consecutions in our logics. This theorem also provides an explicit algorithm for recognizing such (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  48
    A Definable Nonstandard Model of the Reals.Vladimir Kanovei & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (1):159-164.
    We prove, in ZFC,the existence of a definable, countably saturated elementary extension of the reals.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  46.  3
    The Justification of the Good an Essay on Moral Philosophy.Vladimir Sergeyevich Solovyov & Natalie Duddington - 1918 - Constable & Co.
  47.  42
    Some Aspects of Understanding Mathematical Reality: Existence, Platonism, Discovery.Vladimir Drekalović - 2015 - Axiomathes 25 (3):313-333.
    The sum of all objects of a science, the objects’ features and their mutual relations compose the reality described by that sense. The reality described by mathematics consists of objects such as sets, functions, algebraic structures, etc. Generally speaking, the use of terms reality and existence, in relation to describing various objects’ characteristics, usually implies an employment of physical and perceptible attributes. This is not the case in mathematics. Its reality and the existence of its objects, leaving aside its application, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  64
    Kant, Frege and the Problem of Psychologism.Vladimir Bryushinkin - 1998 - Kant-Studien 90 (1):59-74.
  49.  10
    Reimagining life (forms) with generative and bio art.Vladimir Todorovic - forthcoming - AI and Society:1-7.
    Artists and designers working in the fields of generative and bio art frequently focus on designing speculative visions of how nature can be reimagined with the use of computational media and synthetic biology. Centered on the unique artistic strategies of reimagining life forms, this paper analyzes and compares a selection of generative software-based projects, in which artists are mimicking different natural phenomena and have the tendency to beautify nature and life, with bio art projects, where ethical considerations are prioritized over (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  50.  24
    Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
    We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of an infinite sequence of rules which have compact and simple, readable form and depend on increasing set of variables. This gives a basis for all quasi-identities valid in the free modal algebra ℱS4 of countable rank.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
1 — 50 / 1000