Results for 'Sergei Serebriany'

337 found
Order:
  1.  43
    On the 'Soviet Paradigm' (Remarks of an Indologist).Sergei Serebriany - 2005 - Studies in East European Thought 57 (2):93 - 138.
  2.  5
    On the ‘Soviet Paradigm’.Sergei Serebriany - 2005 - Studies in East European Thought 57 (2):93-138.
  3.  32
    Foucault’s Affirmative Biopolitics: Cynic Parrhesia and the Biopower of the Powerless.Sergei Prozorov - 2017 - Political Theory 45 (6):801-823.
    While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling. The Cynic problematization of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
    In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   106 citations  
  5. The Logic of Justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
    We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   75 citations  
  6. Justification Logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
  7.  1
    Agamben and Politics: A Critical Introduction.Sergei Prozorov - 2014 - Edinburgh University Press.
    Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  8.  14
    Byzantine Perspectives on Neoplatonism.Mariev Sergei (ed.) - 2017 - Berlin/Boston: De Gruyter.
    Byzantine intellectuals not only had direct access to Neoplatonic sources in the original language but also, at times, showed a particular interest in them. During the Early Byzantine period Platonism significantly contributed to the development of Christian doctrines and, paradoxically, remained a rival world view that was perceived by many Christian thinkers as a serious threat to their own intellectual identity. This problematic relationship was to become even more complex during the following centuries. Byzantine authors made numerous attempts to harmonize (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Democratic Biopolitics: Popular Sovereignty and the Power of Life.Sergei Prozorov - 2019 - Edinburgh University Press.
    Sergei Prozorov challenges the assumption that the biopolitical governance means the end of democracy, arguing for a positive synthesis of biopolitics and democracy. He develops a vision of democratic biopolitics where diverse forms of life can coexist on the basis of their reciprocal recognition as free, equal and in common.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  47
    Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2021 - Journal of Philosophical Logic 50 (1):33-56.
    We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  11. Constructive Negations and Paraconsistency.Sergei Odintsov - 2008 - Dordrecht, Netherland: Springer.
    Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  12.  26
    Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.
    The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  13.  87
    The Moral Duty to Reduce the Risk of Child Sexual Abuse.Sergei Levin - 2019 - Human Affairs 29 (2):188-198.
    A paedophile is a person with a sexual attraction to children; some paedophiles commit child sex abuse offences. For such acts, they hold moral and legal responsibility, which presupposes that paedophiles are moral agents who can distinguish right from wrong and are capable of self-control. Like any other moral agents, paedophiles have moral duties. Some moral duties are universal, e.g., the duty not to steal. Whether there are any specific moral duties related to paedophilia is the topic of this paper. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  18
    A Thousand Healths: Jean-Luc Nancy and the Possibility of Democratic Biopolitics.Sergei Prozorov - 2018 - Philosophy and Social Criticism 44 (10):1090-1109.
    This article addresses the relationship between ontology and politics in Jean-Luc Nancy’s theory of democracy by probing the implications of his latest ontological innovation, the concept of struction. We argue that Nancy’s democracy is a mode of politics that makes the radical pluralism of struction legitimate, opening and guarding a political space for the coexistence of the incommensurable. From this perspective, and despite Nancy’s own skepticism about the concept of biopolitics, the notion of struction opens a pathway for theorizing democracy (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  3
    Sergei Vsekhsvyatskii’s Studies on Philosophical Issues of Cosmology and Cosmogony.Sergii Rudenko & Yaroslav Sobolievskyi - 2022 - Философия И Космология 28:146-158.
    This paper analyses the methodological ideas of Sergei Vsekhsvyatskii’s Studies on Philosophical Issues of Cosmology and Cosmogony. The article examines the background and history of the development of astronomy and cosmology in Ukraine and its gradual transition from a descriptive method to mathematical analysis. The authors have studied the influence of Ukrainian scholars and philosophers on studies in cosmology, astronomy, philosophical issues in cosmology, and computational cosmology. The philosophical understanding of cosmology and cosmogony is always a search for alternative (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  80
    The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.
    Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  17.  27
    The Logic of Generalized Truth Values and the Logic of Bilattices.Sergei P. Odintsov & Heinrich Wansing - 2015 - Studia Logica 103 (1):91-112.
    This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and distributive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  18. Some Marginal Notes on India and Europe.S. D. Serebriany - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 59:71-102.
     
    Export citation  
     
    Bookmark  
  19. Discovering Knowability: A Semantic Analysis.Sergei Artemov & Tudor Protopopescu - 2013 - Synthese 190 (16):3349-3376.
    In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle /all truths are knowable/, when expressed as a bi-modal principle F --> K♢F, yields an unacceptable omniscience property /all truths are known/. We offer an alternative semantic proof of this fact independent of the Church–Fitch argument. This shows that the knowability paradox is not intrinsically related to the Church–Fitch proof, nor to the Moore sentence upon which it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  17
    Belnap–Dunn Modal Logics: Truth Constants Vs. Truth Values.Sergei P. Odintsov & Stanislav O. Speranski - 2020 - Review of Symbolic Logic 13 (2):416-435.
    We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  24
    Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  22.  13
    Logic of Proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
    In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  23. Why Giorgio Agamben is an Optimist.Sergei Prozorov - 2010 - Philosophy and Social Criticism 36 (9):1053-1073.
    The article takes Giorgio Agamben’s declaration of his optimism with regard to the possibilities of global political transformation as a point of departure for the inquiry into the affirmative aspects of Agamben’s political thought, frequently overshadowed by his more famous critical claims. We reconstitute three principles grounding Agamben’s optimism that pertain respectively to the total crisis of the contemporary biopolitical apparatuses, the possibility of a radically different form-of-life on the basis of their residue and the minimalist character of this transformation (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  24. The Routledge Handbook of Biopolitics.Sergei Prozorov & Simona Rentea (eds.) - 2016
    The problematic of biopolitics has become increasingly important in the social sciences. Inaugurated by Michel Foucault's genealogical research on the governance of sexuality, crime and mental illness in modern Europe, the research on biopolitics has developed into a broader interdisciplinary orientation, addressing the rationalities of power over living beings in diverse spatial and temporal contexts. The development of the research on biopolitics in recent years has been characterized by two tendencies: the increasingly sophisticated theoretical engagement with the idea of power (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  45
    On the Representation of N4-Lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
    N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  26.  50
    On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.
    This work treats the problem of axiomatizing the truth and falsity consequence relations, $ \vDash _t $ and $ \vDash _f $, determined via truth and falsity orderings on the trilattice SIXTEEN₃. The approach is based on a representation of SIXTEEN₃ as a twist-structure over the two-element Boolean algebra.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  27. Foucault, Freedom And Sovereignty. [REVIEW]Sergei Prozorov - 2008 - Foucault Studies:123-127.
     
    Export citation  
     
    Bookmark   11 citations  
  28.  10
    The Lattice of Belnapian Modal Logics: Special Extensions and Counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.
    Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  18
    Living À la Mode: Form-of-Life and Democratic Biopolitics in Giorgio Agamben’s The Use of Bodies.Sergei Prozorov - 2017 - Philosophy and Social Criticism 43 (2):144-163.
    The publication of The Use of Bodies, the final volume in Giorgio Agamben’s Homo Sacer series, makes it possible to take stock of Agamben’s project as a whole. Having started with a powerful critique of the biopolitical sovereignty as the essence of modern politics, Agamben concludes his project with an affirmative vision of inoperative politics of form-of-life, in which life is not negated or sacrificed to the privileged form it must attain, but rather remains inseparable from the form that does (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Metafizika Vechnogo Vozvrashchenii͡a.Sergeĭ Zhigalkin - 2011
    Из прил.: Метафизическая концепция Ницше и ее роль в европейском мышлении: вечное возвращение равного : главы из лекций 1936-1940-х годов / М. Хайдеггер.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  31.  20
    Realization of Constructive Set Theory Into Explicit Mathematics: A Lower Bound for Impredicative Mahlo Universe.Sergei Tupailo - 2003 - Annals of Pure and Applied Logic 120 (1-3):165-196.
    We define a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The final results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T 0 , thus providing relative lower bounds for the proof-theoretic strength of the latter.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  32.  51
    The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
    The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  33.  3
    Private Duty Creation in Theories of Distributive Justice.Sergei Sazonov - 2022 - Social Theory and Practice 48 (2):379-401.
    Historical entitlement theories of property rights, which claim that individuals can acquire moral property rights over natural resources by appropriating them, traditionally face a strong objection: it is widely implausible that a single individual can unilaterally impose duties on everyone around him and yet, apparently, this is exactly what such theories allow. In this essay, I argue that the same problem appears in all other theories of distributive justice and if this problem was a reason to reject historical entitlement theories, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  70
    The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.
    The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete axiomatization for the basic logic of proofs in Heyting Arithmetic HA was found.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  16
    On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.
    This work treats the problem of axiomatizing the truth and falsity consequence relations, $ \vDash _t $ and $ \vDash _f $, determined via truth and falsity orderings on the trilattice SIXTEEN₃. The approach is based on a representation of SIXTEEN₃ as a twist-structure over the two-element Boolean algebra.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  36.  17
    Forking in VC-Minimal Theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
    We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M, generalizing a result of Dolich on o-minimal theories in [4].
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37. Attic Rationalism and Encyclopedic Rationalism: An Essay On the Concatenation of Epochs.Sergei Averintsev - 1985 - Diogenes 33 (130):1-11.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Realization of Analysis Into Explicit Mathematics.Sergei Tupailo - 2001 - Journal of Symbolic Logic 66 (4):1848-1864.
    We define a novel interpretation R of second order arithmetic into Explicit Mathematics. As a difference from standard D-interpretation, which was used before and was shown to interpret only subsystems proof-theoretically weaker than T 0 , our interpretation can reach the full strength of T 0 . The R-interpretation is an adaptation of Kleene's recursive realizability, and is applicable only to intuitionistic theories.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  4
    Boris N. Chicherin and the Problem of the Political Identification of His Legacy.Sergei L. Chizhkov - 2021 - Russian Studies in Philosophy 59 (1):1-12.
    This article examines a still contentious question: how conservative and liberal elements are combined in Boris N. Chicherin’s worldview and political doctrine. It considers several points of view...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  3
    Connexive Variants of Modal Logics Over FDE.Sergei Odintsov, Daniel Skurt & Heinrich Wansing - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 295-318.
    Various connexive FDE-based modal logics are studied. Some of these logics contain a conditional that is both connexive and strict, thereby highlighting that strictness and connexivity of a conditional do not exclude each other. In particular, the connexive modal logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, cKN4, scBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, scKN4, cMBL, and scMBL are introduced semantically by means of classes of Kripke models. The logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  13
    Sergei Parajanov's Differential Cinema.Robert Efird - 2018 - Film-Philosophy 22 (3):465-483.
    The films of Sergei Parajanov remain some of the most stylistically unique in the history of the medium and easily place him within the pantheon of the world's great filmmakers. This article offers a new perspective on Parajanov's art through a detailed examination of the two works at the center of his oeuvre, The Colour of Pomegranates and The Legend of Suram Fortress. In addition to their undeniable aesthetic value, these films may be appreciated as meaningful discourse on our (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42. Khrustalʹnyĭ Kupol Fantaziĭ.Sergeĭ Zubarev - 2011
    Книга адресована психоаналитикам, психологам, психотерапевтам, философам, педагогам, студентам и всем работникам "помогающих" профессий.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  15
    Unification and Admissible Rules for Paraconsistent Minimal Johanssonsʼ Logic J and Positive Intuitionistic Logic IPC.Sergei Odintsov & Vladimir Rybakov - 2013 - Annals of Pure and Applied Logic 164 (7-8):771-784.
    We study unification problem and problem of admissibility for inference rules in minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the problem of admissibility for inference rules with coefficients is decidable for the paraconsistent minimal Johanssonsʼ logic J and the positive intuitionistic logic IPC+. Using obtained technique we show also that the unification problem for these logics is also decidable: we offer algorithms which compute complete sets of unifiers for any unifiable formula. Checking just unifiability (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  16
    Epsilon Substitution Method for Elementary Analysis.Grigori Mints, Sergei Tupailo & Wilfried Buchholz - 1996 - Archive for Mathematical Logic 35 (2):103-130.
    We formulate epsilon substitution method for elementary analysisEA (second order arithmetic with comprehension for arithmetical formulas with predicate parameters). Two proofs of its termination are presented. One uses embedding into ramified system of level one and cutelimination for this system. The second proof uses non-effective continuity argument.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  45.  18
    On Definability of Connectives and Modal Logics Over FDE.Sergei P. Odintsov, Daniel Skurt & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  48
    On Propositional Quantifiers in Provability Logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.
  47.  2
    Weather and Climate Manipulation as an Optimal Control for Adaptive Dynamical Systems.Sergei A. Soldatenko - 2017 - Complexity 2017:1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  29
    BK-Lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.
    Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure over a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  16
    Sergei S. Goncharov. Countable Boolean Algebras and Decidability. English Translation of Schetnye Bulevy Algebry I Razreshimost′. Siberian School of Algebra and Logic. Consultants Bureau, New York, London, and Moscow, 1997, Xii + 318 Pp. [REVIEW]Valentina Harizanov - 1998 - Journal of Symbolic Logic 63 (3):1188-1190.
  50.  68
    Closing the Gap Between Ideal and Real Behavior: Scientific Vs. Engineering Approaches to Normativity.Sergei Gepshtein - 2009 - Philosophical Psychology 22 (1):61 – 75.
    Early normative studies of human behavior revealed a gap between the norms of practical rationality (what humans ought to do) and the actual human behavior (what they do). It has been suggested that, to close the gap between the descriptive and the normative, one has to revise norms of practical rationality according to the Quinean, engineering view of normativity. On this view, the norms must be designed such that they effectively account for behavior. I review recent studies of human perception (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 337