Results for 'implicational'

942 found
Order:
  1.  39
    RASMUSEN, ERIC, Folk Theorems for the Observable Implications of Repeated.Implications of Repeated Games - 1992 - Theory and Decision 32:147-164.
  2.  13
    Brian O'Shaughnessy.Implications of Dual Aspectism - 2003 - In Johannes Roessler & Naomi Eilan, Agency and Self-Awareness: Issues in Philosophy and Psychology. New York: Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Critical period, 241-242.Implications Test - 1997 - In M. McCallum & W. Piper, Psychological Mindedness: A Contemporary Understanding. Lawrence Erlbaum. pp. 59--271.
  4. Mary Ann G. Cutter.Local Bioethical Discourse: Implications - 2002 - In Julia Lai Po-Wah Tao, Cross-cultural perspectives on the (im) possibility of global bioethics. Boston: Kluwer Academic.
     
    Export citation  
     
    Bookmark  
  5. Index of volume 79, 2001.Stephen Buckle, Miracles Marvels, Mundane Order, Temporal Solipsism, Robert Kirk, Nonreductive Physicalism, Strict Implication, Donald Mertz Individuation, Instance Ontology & Dale E. Miller - 2001 - Australasian Journal of Philosophy 79 (4):594-596.
     
    Export citation  
     
    Bookmark  
  6. Yu kam Por. Self-Ownership & Its Implications for Bioethics 197 - 2002 - In Julia Lai Po-Wah Tao, Cross-cultural perspectives on the (im) possibility of global bioethics. Boston: Kluwer Academic.
     
    Export citation  
     
    Bookmark  
  7.  41
    Implicational formulas in intuitionistic logic.Alasdair Urquhart - 1974 - Journal of Symbolic Logic 39 (4):661-664.
  8.  47
    Embedding classical in minimal implicational logic.Hajime Ishihara & Helmut Schwichtenberg - 2016 - Mathematical Logic Quarterly 62 (1-2):94-101.
    Consider the problem which set V of propositional variables suffices for whenever, where, and ⊢c and ⊢i denote derivability in classical and intuitionistic implicational logic, respectively. We give a direct proof that stability for the final propositional variable of the (implicational) formula A is sufficient; as a corollary one obtains Glivenko's theorem. Conversely, using Glivenko's theorem one can give an alternative proof of our result. As an alternative to stability we then consider the Peirce formula. It is an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  70
    On implicational definitions.Czesław Lejewski - 1958 - Studia Logica 8 (1):189 - 211.
  10.  43
    Nice implicational axioms.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (4):507-508.
  11.  24
    Simple implicational development.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (2):268-268.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  36
    Contraction-elimination for implicational logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
    We establish the “contraction-elimination theorem” which means that if a sequent Γ A is provable in the implicational fragment of the Gentzen's sequent calculus LK and if it satisfies a certain condition on the number of the occurrences of propositional variables, then it is provable without the right contraction rule. By this theorem, we get the following.1. If an implicational formula A is a theorem of classical logic and is not a theorem of intuitionistic logic, then there is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  45
    Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
    A constructive proof is given which shows that every nonrecursive r.e. many-one degree is represented by the family of decision problems for partial implicational propositional calculi whose well-formed formulas contain at most two distinct variable symbols.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  43
    On structural completeness of implicational logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
    We consider the notion of structural completeness with respect to arbitrary (finitary and/or infinitary) inferential rules. Our main task is to characterize structurally complete intermediate logics. We prove that the structurally complete extension of any pure implicational in termediate logic C can be given as an extension of C with a certain family of schematically denned infinitary rules; the same rules are used for each C. The cardinality of the family is continuum and, in the case of (the pure (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  26
    Computing interpolants in implicational logics.Makoto Kanazawa - 2006 - Annals of Pure and Applied Logic 142 (1):125-201.
    I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like Prawitz’s, works on natural deductions rather than sequent derivations, and, unlike existing methods, always finds a ‘strongest’ interpolant under a certain restricted but reasonable notion of what counts as an ‘interpolant’.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  7
    Diversity in feminist economics research methods: trends from the Global South.U. T. Salt Lake City, Annandale-On-Hudson USAb Levy Economics Institute of Bard College, C. O. Fort Collins, Markets Including Care Work, History of Economic Thought Public Policy, Labor Economics Currently Development, Macroeconomic Implications of Social Reproduction Her Research Focuses on the Micro-, Finance She is A. Labor Associate Editor for the African Review of Economics, Research Interests Related to the Division Feminist Economist, Definition of Both Paid Quality, How Households Unpaid Work, Formed Around These Types of Work Families Are Structured, Households How the State Interacts, Development The Editor of Feminist Economics She Was Recently Senior Economist at the United Nations Conference on Trade, Including the International Labour Organization Has Done Consulting Work for A. Number of International Development Institutions, the United Nations Research Institute on Social Development the World Bank & Macroeconomic Asp U. N. Women Her Work Focuses on the International - forthcoming - Journal of Economic Methodology:1-25.
  17. Part II. A walk around the emerging new world. Russia in an emerging world / excerpt: from "Russia and the solecism of power" by David Holloway ; China in an emerging world.Constraints Excerpt: From "China'S. Demographic Prospects Toopportunities, Excerpt: From "China'S. Rise in Artificial Intelligence: Ingredientsand Economic Implications" by Kai-Fu Lee, Matt Sheehan, Latin America in an Emerging Worldsidebar: Governance Lessons From the Emerging New World: India, Excerpt: From "Latin America: Opportunities, Challenges for the Governance of A. Fragile Continent" by Ernesto Silva, Excerpt: From "Digital Transformation in Central America: Marginalization or Empowerment?" by Richard Aitkenhead, Benjamin Sywulka, the Middle East in an Emerging World Excerpt: From "the Islamic Republic of Iran in an Age of Global Transitions: Challenges for A. Theocratic Iran" by Abbas Milani, Roya Pakzad, Europe in an Emerging World Sidebar: Governance Lessons From the Emerging New World: Japan, Excerpt: From "Europe in the Global Race for Technological Leadership" by Jens Suedekum & Africa in an Emerging World Sidebar: Governance Lessons From the Emerging New Wo Bangladesh - 2020 - In George P. Shultz, A hinge of history: governance in an emerging new world. Stanford, California: Hoover Institution Press, Stanford University.
     
    Export citation  
     
    Bookmark  
  18. Tjeerd B. Jongeling, Teun Koetsier & Evert Wattel, a logical approach to qualitative reasoning with'several'... 15.Vladimir Markin, Dmitry Zaitsev, Imaginary Logic, Lloyd Humberstone, Implicational Converses, Jose M. Mendez, Francisco Salto, Pedro Mendez, Roger Vergauwen & Ray Lam - 2002 - Logique Et Analyse 45:1.
     
    Export citation  
     
    Bookmark  
  19.  25
    Ethical Implications of Preventive Medicine within Correctional Healthcare.Molly Smith - 2022 - Public Health Ethics 15 (2):186-190.
    Incarcerated offenders are categorically high-risk patients who are disproportionately more likely to suffer from chronic illnesses than members of the general population. The conditions of confinement (e.g., overcrowding, poor nutrition, risky sexual practices) furthermore make them increasingly susceptible to acquiring an infectious disease. Past research has linked preventive care, including the early detection and treatment of such diseases, with better long-term health outcomes; however, such care is not universally provided to this population. The benefits and current availability of preventive care (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  72
    Investigations Into Implicational S5.C. A. Meredith & A. N. Prior - 1964 - Mathematical Logic Quarterly 10 (13-17):203-220.
  21.  40
    Proof complexity of intuitionistic implicational formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
  22.  80
    Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Mathematical Logic Quarterly 18 (19-20):291-295.
  23.  23
    Axiomatic rejection in the implicational-negational invariant sentential calculi of Lukasiewicz.Robert Sochacki - 2007 - Bulletin of the Section of Logic 36 (1/2):1-6.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  46
    Some results for implicational calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
  25.  73
    An Intriguing Logic with Two Implicational Connectives.Lloyd Humberstone - 2000 - Notre Dame Journal of Formal Logic 41 (1):1-40.
    Matthew Spinks [35] introduces implicative BCSK-algebras, expanding implicative BCK-algebras with an additional binary operation. Subdirectly irreducible implicative BCSK-algebras can be viewed as flat posets with two operations coinciding only in the 1- and 2-element cases, each, in the latter case, giving the two-valued implication truth-function. We introduce the resulting logic (for the general case) in terms of matrix methodology in §1, showing how to reformulate the matrix semantics as a Kripke-style possible worlds semantics, thereby displaying the distinction between the two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26. Chinese comparatives and their implicational parameters.Jo-Wang Lin - 2009 - Natural Language Semantics 17 (1):1-27.
    This paper argues that superiority comparatives in Mandarin Chinese are all phrasal comparatives that can be directly interpreted, and makes a new suggestion of taking the bǐ-phrase (‘compare-phrase’) to be an adjunct and one constituent, but with bǐ-shells. This syntactic analysis allows one to combine into one phrase various compared constituents that would otherwise not be analyzed as forming a phrase by themselves. Semantically, in extension of work by Heim as well as Bhatt and Takahashi, bǐ is taken to compare (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  28
    Triadic partial implicational propositional calculi.Charles E. Hughes - 1975 - Mathematical Logic Quarterly 21 (1):21-28.
  28.  64
    A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.Luiz C. Pereira, Edward H. Haeusler, Vaston G. Costa & Wagner Sanz - 2010 - Studia Logica 96 (1):95-108.
    The introduction and elimination rules for material implication in natural deduction are not complete with respect to the implicational fragment of classical logic. A natural way to complete the system is through the addition of a new natural deduction rule corresponding to Peirce's formula → A) → A). E. Zimmermann [6] has shown how to extend Prawitz' normalization strategy to Peirce's rule: applications of Peirce's rule can be restricted to atomic conclusions. The aim of the present paper is to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  41
    An unsolvable problem concerning implicational calculi.Biswambhar Pahi & Ralph C. Applebee - 1970 - Notre Dame Journal of Formal Logic 11 (2):200-202.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  22
    Two basic pure-implicational systems.J. Jay Zeman - 1979 - Notre Dame Journal of Formal Logic 20 (3):674-684.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  81
    A maximal lattice of implicational logics'.Alexander S. Karpenko - 1992 - Bulletin of the Section of Logic 27:29-32.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Lattices of implicational logics.A. Karpenko - 1992 - Bulletin of the Section of Logic 21 (3).
     
    Export citation  
     
    Bookmark  
  33.  19
    On functions definiable in implicational algebras.Pawe L. Bielak - 1974 - Bulletin of the Section of Logic 3 (3/4):24-26.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  45
    (1 other version)Postulates for implicational calculi.C. A. Meredith - 1966 - Journal of Symbolic Logic 31 (1):7-9.
  35.  21
    Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  47
    Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
  37.  21
    A Minimal Implicational Logic.Witold A. Pogorzelski - 1994 - In Jan Wolenski, Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 213--216.
  38. A Note On Implicational Consequences.Wolfgang Rautenberg - 1985 - Bulletin of the Section of Logic 14 (3):103-106.
     
    Export citation  
     
    Bookmark  
  39.  20
    Binary functions definable in implicational Gödel algebra.Marek Tokarz - 1974 - Bulletin of the Section of Logic 3 (1):22-24.
  40.  35
    The one variable implicational calculus.V. Frederick Rickey - 1974 - Notre Dame Journal of Formal Logic 15 (3):478-480.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  20
    Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics.Eunsuk Yang - 2023 - Studia Logica 111 (3):501-519.
    In the context of implicational tonoid logics, this paper investigates analogues of Birkhoff’s two theorems, the so-called subdirect representation and varieties theorems, and of Mal’cev’s quasi-varieties theorem. More precisely, we first recall the class of implicational tonoid logics. Next, we establish the subdirect product representation theorem for those logics and then consider some more related results such as completeness. Thirdly, we consider the varieties theorem for them. Finally, we introduce an analogue of Mal’cev’s quasi-varieties theorem for algebras.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  44
    On the Algebraizability of the Implicational Fragment of Abelian Logic.Sam Butchart & Susan Rogerson - 2014 - Studia Logica 102 (5):981-1001.
    In this paper we consider the implicational fragment of Abelian logic \ . We show that although the Abelian groups provide an semantics for the set of theorems of \ they do not for the associated consequence relation. We then show that the consequence relation is not algebraizable in the sense of Blok and Pigozzi . In the second part of the paper, we investigate an extension of \ in the same language and having the same set of theorems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  65
    Algorithmic proof methods and cut elimination for implicational logics part I: Modal implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
    In this work we develop goal-directed deduction methods for the implicational fragment of several modal logics. We give sound and complete procedures for strict implication of K, T, K4, S4, K5, K45, KB, KTB, S5, G and for some intuitionistic variants. In order to achieve a uniform and concise presentation, we first develop our methods in the framework of Labelled Deductive Systems [Gabbay 96]. The proof systems we present are strongly analytical and satisfy a basic property of cut admissibility. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  75
    Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
    A minimal theorem in a logic L is an L-theorem which is not a non-trivial substitution instance of another L-theorem. Komori (1987) raised the question whether every minimal implicational theorem in intuitionistic logic has a unique normal proof in the natural deduction system NJ. The answer has been known to be partially positive and generally negative. It is shown here that a minimal implicational theorem A in intuitionistic logic has a unique -normal proof in NJ whenever A is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  17
    On the density of truth of implicational parts of intuitionistic and classical logics.Zofia X. Zofia Kostrzycka - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):391-421.
    The authors of [MOC 00] conjectured that intuitionistic and classical logics are asymptotically identical. Their conjecture concerns the implicational parts of these logics over k variables and is trivially true for k = 1, because implicational parts of intuitionistic and classical logics over one variable are identical. So, it seems to be interesting to investigate the appropriate fragments of these logics for k = 2. The result is obtained by reducing the problem to the same one of Dummett's (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  45
    A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
    LetL 3 c be the smallest set of propositional formulas, which containsCpCqpCCCpqCrqCCqpCrpCCCpqCCqrqCCCpqppand is closed with respect to substitution and detachment. Let $\mathfrak{M}_3^c $ be Łukasiewicz’s three-valued implicational matrix defined as follows:cxy=min (1,1−x+y), where $x,y \in \{ 0,\tfrac{1}{2},1\}$ . In this paper the following theorem is proved: L3c=E(M3c)L_3^c = E( \mathfrak{M}_3^c ) The idea used in the proof is derived from Asser’s proof of completeness of the two-valued propositional calculus. The proof given here is based on the Pogorzelski’s deduction theorem (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  25
    (1 other version)On the incompleteness of a descending chain of extensions of implicational s5.Dolph Ulrich - 1992 - Mathematical Logic Quarterly 38 (1):321-323.
    C5.ω is obtained by adding, schematically, to the strict-implicational fragment C5 of S5 the axiom → ) → . This paper presents a fully general proof that neither C5.ω nor any of a descending chain of its extensions is complete with respect to any class of frames, correcting the garbled details of a version skeched in an earlier paper , 201-208).
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  48
    The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
    A four-valued matrix is presented which validates all theorems of the implicational fragment, IF, of the classical sentential calculus in which at most two distinct sentence letters occur. The Wajsberg/Diamond-McKinsley Theorem for IF follows as a corollary: every complete set of axioms (with substitution and detachment as rules) must include at least one containing occurrences of three or more distinct sentence letters. Additionally, the matrix validates all IF theses built from nine or fewer occurrences of connectives and letters. So (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  46
    The finite model property for the implicational fragment of IPC without exchange and contraction.C. van Alten & J. Raftery - 1999 - Studia Logica 63 (2):213-222.
    The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to a class of structures that constitute (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  56
    On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
1 — 50 / 942