Results for 'Petr Abramov'

557 found
Order:
  1.  12
    The Realism and Evolutionary Personalism of N.O. Lossky.Petr Abramov & Andrei Ivanov - 2020 - Sophia 59 (4):767-778.
    The paper is devoted to Nikolay Lossky who was one of the leading Russian philosophers of the first half of the twentieth century. We demonstrate the interrelationship between three aspects of Lossky’s philosophy: realism in the theory of knowledge, hierarchical personalism, and supra-naturalistic concept of evolution. We pay attention to the contemporary relevance of Lossky, and we discuss and critique his ideas in light of those of other philosophers. Lossky acknowledges that the subject interacts with being itself and that knowledge (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Philosophy and Logic: Selected Writings of Petre Botezatu.Petre Botezatu - 1987 - "Al. I. Cuza" University of Iaṣi, Department of Philosophy.
  3.  5
    Dedicated to Petr Vopeynka.Bohuslav Balcar & Petr Simon - 2001 - Annals of Pure and Applied Logic 109 (1):2-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  33
    How to Understand the Body with the Body. Phenomenological Contribution to Overcoming the Limits of Mechanistic Paradigm in Physiotherapy.Petr Kříž & Jan Halák - forthcoming - Teorie Vědy / Theory of Science.
    [In Czech] This article aims to explain how Merleau-Ponty’s phenomenological account of embodiment contributes to the theory and practice of physiotherapy. The mechanistic conception of the body, to which physiotherapy usually refers, assumes a universal model of its functioning and interprets its relationship to the environment causally. In fact, however, it does not allow a satisfactory explanation of the efficiency of the therapeutic methods used in practice. In contrast, Merleau-Ponty’s concept of motor intentionality points to the fact that the body (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Privacy, Individuality, Rules: A Response to Petr Glombicek.Petr Kot'atko - 2008 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 15 (2):211-234.
     
    Export citation  
     
    Bookmark  
  6.  1
    Alfred Loisy: His Religious Significance.Maude D. Petre - 2014 - Cambridge University Press.
    Originally published in 1944, this book presents a study of the life and work of Roman Catholic priest and scholar Alfred Loisy, written by fellow Modernist Maude Petre. Petre died shortly after completing this short biography, and the text begins with a note on her life by James A. Walker. This book will be of value to anyone with an interest in this important figure in the controversial Catholic Modernist movement.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  5
    Logic, Methodology, and Philosophy of Science.Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.) - 2005 - College Publications.
    This book collects most of the invited papers presented at the 12th International Congress of Logic, Methodology and Philosophy of Science in Oviedo, August 2003. It contains state of the art accounts of ongoing work by a selection of the most renowned researchers in the field. The papers in the Logic section deal with topics in mathematical logic, as well as philosophical logic, and the area of logic and computation. The section on General Methodology contains articles on models, theories, probability, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  13
    Sensorimotor Coupling in Music and the Psychology of the Groove.Petr Janata, Stefan T. Tomic & Jason M. Haberman - 2012 - Journal of Experimental Psychology: General 141 (1):54-75.
  9.  1
    Metaphysics, Science and Kant's Troubles with Space and Time.Petr Jedlička & Jitka Paitlová - 2018 - Pro-Fil 18 (2):12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  17
    “Intelligent” Finance and Treasury Management: What We Can Expect.Petr Polak, Christof Nelischer, Haochen Guo & David C. Robertson - 2020 - AI and Society 35 (3):715-726.
  11.  63
    Is Multiset Consequence Trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.
    Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  12. Plato and Europe.Petr Lom (ed.) - 2002 - Stanford University Press.
    The Czech philosopher Jan Patocka, who studied with Husserl and Heidegger, is widely recognized as the most influential thinker to come from postwar Eastern Europe. Refusing to join the Communist party after World War II, he was banned from academia and publication for the rest of his life, except for a brief time following the liberalizations of the Prague spring of 1968. Joining Vaclav Havel and Jiri Hajek as a spokesman for the Chart 77 human-rights declaration of 1977, Patocka was (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  63
    Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
    This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass–the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many general theorems for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  14.  33
    Distinguished Algebraic Semantics for T -Norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.
    This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  15.  19
    Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
    Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  16.  42
    The Proof by Cases Property and its Variants in Structural Consequence Relations.Petr Cintula & Carles Noguera - 2013 - Studia Logica 101 (4):713-747.
    This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  17.  22
    Mutual Aid; a Factor of Evolution.Petr Kropotkin - unknown
    Direct download  
     
    Export citation  
     
    Bookmark   63 citations  
  18.  32
    Implicational (Semilinear) Logics I: A New Hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
    In abstract algebraic logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this process one considers the Leibniz relation of indiscernible formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: the Leibniz hierarchy. This paper performs an analogous abstract study of non-classical logics based on the kind of generalized implication connectives they possess. It yields a new classification of logics expanding Leibniz (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  19.  44
    Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
    Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  17
    Building Peace in Fragile States – Building Trust is Essential for Effective Public–Private Partnerships.Igor Abramov - 2009 - Journal of Business Ethics 89 (S4):481-494.
    Increasingly, the private sector is playing a greater role in supporting peace building efforts in conflict and post-conflict areas by providing critical expertise, know-how, and capital. However, reports of the corrupt practices of both governments and businesses have plagued international peace building efforts, deepening the distrust of stricken communities. Businesses are perceived as being selfish and indifferent to the impact their operations may have on the social and political development of local communities. Additionally, the corruption of local governments has been (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Petr Koťátko: Význam A Komunikaces”.Marián Zouhar - 1999 - Filosoficky Casopis 47:1019-1022.
    [Petr Koťátko: Meaning and Communication].
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  87
    Schizophrenia, Dissociation, and Consciousness.Petr Bob & George A. Mashour - 2011 - Consciousness and Cognition 20 (4):1042-1049.
    Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23.  10
    The Liar Paradox and Fuzzy Logic.Petr Hajek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}$ for all sentences $\varphi$? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  24.  2
    Psychosocial Stress, Epileptic-Like Symptoms and Psychotic Experiences.Petr Bob, Tereza Petraskova Touskova, Ondrej Pec, Jiri Raboch, Nash Boutros & Paul Lysaker - 2022 - Frontiers in Psychology 13.
    Current research suggests that stressful life experiences and situations create a substantive effect in the development of the initial manifestations of psychotic disorders and may influence temporo-limbic epileptic-like activity manifesting as cognitive and affective seizure-like symptoms in non-epileptic conditions. The current study assessed trauma history, hair cortisol levels, epileptic-like manifestations and other psychopathological symptoms in 56 drug naive adult young women experiencing their initial occurrence of psychosis. Hair cortisol levels among patients experiencing their initial episode of psychosis, were significantly correlated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  18
    Fuzzy Logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  1
    Interpreting Davidson.Petr Kotatko, Peter Pagin & Gabriel Segal (eds.) - 2001 - Center for the Study of Language and Inf.
    Donald Davidson is, arguably, the most important philosopher of mind and language in recent decades. His articulation of the position he called "anomalous monism" and his ideas for unifying the general theory of linguistic meaning with semantics for natural language both set new agendas in the field. _Interpreting Davidson_ collects original essays on his work by some of his leading contemporaries, with Davidson himself contributing a reply to each and an original paper of his own.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  27.  76
    Building Peace in Fragile States – Building Trust is Essential for Effective Public–Private Partnerships.Igor Abramov - 2009 - Journal of Business Ethics 89 (S4):481 - 494.
    Increasingly, the private sector is playing a greater role in supporting peace building efforts in conflict and post-conflict areas by providing critical expertise, know-how, and capital. However, reports of the corrupt practices of both governments and businesses have plagued international peace building efforts, deepening the distrust of stricken communities. Businesses are perceived as being selfish and indifferent to the impact their operations may have on the social and political development of local communities. Additionally, the corruption of local governments has been (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  12
    The Limits of Doubt: The Moral and Political Implications of Skepticism.Petr Lom - 2001 - State University of New York Press.
    Shows how different forms of skepticism can lead to remarkably different moral and political implications.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  40
    On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
    In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  30.  15
    Implicational Logics II: Additional Connectives and Characterizations of Semilinearity.Petr Cintula & Carles Noguera - 2016 - Archive for Mathematical Logic 55 (3-4):353-372.
    This is the continuation of the paper :417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  56
    Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties: Nonassociative Substructural Logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.
    Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based. This presentation is then used to obtain, in a uniform way applicable to most substructural logics, a form (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  1
    Odegrać Śmierć: Mariny Abramović 7 Śmierci Marii Callas.Francesco Marzano - 2020 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 59 (4):161-190.
    This essay analyses the opera project 7 Deaths of Maria Callas by Marina Abramović, premiered in Munich in September, 2020. The first section reconstructs the role that the Greek soprano played in the life of the Serbian performer, bringing the latter to a gradual sense of self-identification. Then, the thirty-years-long development of the original concept of the video piece How to Die into the actual project through its various stages is taken into account, and the stage realisation of the work (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  13
    Implicational Logics III: Completeness Properties.Petr Cintula & Carles Noguera - 2018 - Archive for Mathematical Logic 57 (3-4):391-420.
    This paper presents an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in several useful ways. Some of these characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives, as considered in the previous papers. Finally, we consider completeness with respect to matrices with a linear dense order and characterize it in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  14
    Toward an Expansion of an Enactive Ethics with the Help of Care Ethics.Petr Urban - 2014 - Frontiers in Psychology 5.
  35.  5
    [Book Review] Follies and Fallacies in Medicine. [REVIEW]Petr Skrabanek & James McCormick - 1991 - Journal of Medical Ethics 17:110-111.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  36.  26
    Constraining Color Categories: The Problem of the Baby and the Bath Water.I. Abramov & J. Gordon - 1997 - Behavioral and Brain Sciences 20 (2):179-180.
    No crucial experiment demonstrates that four hue categories are needed to describe color appearance. Instead, converging lines of evidence suggest that the terms red, yellow, green, and blue are sufficient and precise enough for deriving color discrimination functions and for a useful model constraining relations between color appearance and neuronal responses. Such a model need not be based on linguistic universals. Until something better is available, this holds.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  37.  15
    A State Service of Resources and Territories.A. S. Abramov - 1974 - Russian Studies in Philosophy 13 (2):124-127.
    I would like to begin with the role of philosophy in solving ecological problems, emphasizing two aspects of its role: the struggle against hostile ideology and the organizing and guiding of activity in the sphere of the development of science and the shaping of its problems. This role of Marxist-Leninist philosophy clearly appears in the complex interdisciplinary problem of the interaction between nature and society.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  10
    Formal Systems of Fuzzy Logic and Their Fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.
    Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  39.  83
    Phenomenological Physiotherapy: Extending the Concept of Bodily Intentionality.Halák Jan & Petr Kříž - forthcoming - Medical Humanities:1-14.
    This study clarifies the need for a renewed account of the body in physiotherapy to fill sizable gaps between physiotherapeutical theory and practice. Physiotherapists are trained to approach bodily functioning from an objectivist perspective; however, their therapeutic interactions with patients are not limited to the provision of natural-scientific explanations. Physiotherapists’ practice corresponds well to theorisation of the body as the bearer of original bodily intentionality, as outlined by Merleau-Ponty and elaborated upon by enactivists. We clarify how physiotherapeutical practice corroborates Merleau-Ponty’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  31
    Standard Sets in Nonstandard Set Theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
    We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  6
    Personal Uniqueness and Events.Petr Prášek - 2021 - Human Studies 44 (4):721-740.
    In contrast to Anglophone debates on personal identity initially formed by John Locke’s investigation of personal identity in the sense of personal continuity or persistence through time, the Continental tradition focuses on what constitutes ipseity in the sense of individuality or uniqueness of the human being “constituted” by its continuous transformation through changing experience. In this study, I claim that contemporary phenomenological research in France—especially the “phenomenology of the event” as represented by Henri Maldiney and Claude Romano—contributes to this Continental (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  24
    An Abstract Approach to Consequence Relations.Petr Cintula, José Gil-férez, Tommaso Moraschini & Francesco Paoli - 2019 - Review of Symbolic Logic 12 (2):331-371.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  21
    Enacting Care.Petr Urban - 2015 - Ethics and Social Welfare 9 (2):216-222.
  44.  9
    Topic, Focus and Generative Semantics.Petr Sgall - 1973 - Kronberg Taunus, Scriptor Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  31
    Future Generations and the Justifiability of Germline Engineering.Ioana Petre - 2017 - Journal of Medicine and Philosophy 42 (3):328-341.
    The possibility of performing germline modifications on currently living individuals targets future generations’ health and well-being by reducing the diversity of the human gene pool. This can have two negative repercussions: reduction of heterozygosity, the latter being associated with a health or performance advantage; uniformization of the genes involved in reproductive recombination, which may lead to the health risks involved in asexual reproduction. I argue that germline interventions aimed at modifying the genomes of future people cannot be ethically justifiable if (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  26
    A Complete Many-Valued Logic with Product-Conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
    A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  47.  88
    Human Induction in Machine Learning: A Survey of the Nexus.Petr Spelda & Vit Stritecky - forthcoming - ACM Computing Surveys.
    As our epistemic ambitions grow, the common and scientific endeavours are becoming increasingly dependent on Machine Learning (ML). The field rests on a single experimental paradigm, which consists of splitting the available data into a training and testing set and using the latter to measure how well the trained ML model generalises to unseen samples. If the model reaches acceptable accuracy, an a posteriori contract comes into effect between humans and the model, supposedly allowing its deployment to target environments. Yet (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  13
    A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.
    Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  9
    A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.
  50.  88
    The Liar Paradox and Fuzzy Logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   24 citations  
1 — 50 / 557