Results for 'Intuitionistic Sentential Calculus'

1000+ found
Order:
  1.  37
    1. Intuitionistic Sentential Calculus with Iden-Tity.Intuitionistic Sentential Calculus - 1990 - Bulletin of the Section of Logic 19 (3):92-99.
  2.  16
    Completeness Proofs for the Intuitionistic Sentential Calculus.Dana Scott - 1960 - Journal of Symbolic Logic 25 (4):351-351.
  3. An Interpretation of the Intuitionistic Sentential Calculus.K. Gödel - 1969 - In Jaakko Hintikka (ed.), The Philosophy of Mathematics. London: Oxford University Press.
  4. A Note On Intuitionistic Sentential Calculus.Roman Suszko - 1974 - Bulletin of the Section of Logic 3 (1):20-21.
  5. Review: Dana Scott, Completeness Proofs for the Intuitionistic Sentential Calculus[REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.
  6.  4
    Scott Dana. Completeness Proofs for the Intuitionistic Sentential Calculus. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 231–241. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  28
    Discussive Sentential Calculus of Jaśkowski.Jerzy Kotas - 1975 - Studia Logica 34 (2):149-168.
  9.  16
    Sentential Calculus for Logical Falsehoods.Charles G. Morgan - 1973 - Notre Dame Journal of Formal Logic 14 (3):347-353.
  10.  10
    Extendible Sentential Calculus.H. Hiz - 1959 - Journal of Symbolic Logic 24 (3):193-202.
  11.  14
    The Sentential Calculus with Infinitely Long Expressions.Dana Scott & Alfred Tarski - 1965 - Journal of Symbolic Logic 30 (1):95-95.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  63
    Investigations Into the Sentential Calculus with Identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
  13.  16
    Base-Extension Semantics for Intuitionistic Sentential Logic.Tor Sandqvist - 2015 - Logic Journal of the IGPL 23 (5):719-731.
  14. The Sentential Calculus Using Rule of Inference Re.R. B. Angell - 1960 - Journal of Symbolic Logic 25 (2):143 -.
  15.  80
    Semantics for the Sentential Calculus with Identity.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):77 - 82.
  16.  9
    Intuitionistic Predicate Calculus with ^|^Epsilon;-Symbol.Kokio Shirai - 1971 - Annals of the Japan Association for Philosophy of Science 4 (1):49-67.
  17.  11
    On the Intuitionistic Equivalential Calculus.Robert E. Tax - 1973 - Notre Dame Journal of Formal Logic 14 (4):448-456.
  18. Sentential Calculus with Identity (SCI) and G-Theories.Roman Suszko - 1971 - Journal of Symbolic Logic 36:709-710.
  19.  17
    The Sentential Calculus.Joseph T. Clark - 1952 - Philosophical Studies of the American Catholic Philosophical Association 3:15-17.
  20.  31
    Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
    With each superintuitionistic propositional logic L with a disjunction property we associate a set of modal logics the assertoric fragment of which is L . Each formula of these modal logics is interdeducible with a formula representing a set of rules admissible in L . The smallest of these logics contains only formulas representing derivable in L rules while the greatest one contains formulas corresponding to all admissible in L rules. The algebraic semantic for these logics is described.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  34
    The Logics Stronger Than Łukasiewicz's Three Valued Sentential Calculus-the Notion of Degree of Maximality Versus the Notion of Degree of Completeness.Ryszard Wójcicki - 1974 - Studia Logica 33 (2):201-214.
  22. On Formulas of One Variable in Intuitionistic Propositional Calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.
  23.  26
    Interpretations of Classical Implicational Sentential Calculus in Nonclassical Implicational Calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
  24.  12
    Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
    Questions connected with the admissibility of rules of inference and the solvability of the substitution problem for modal and intuitionistic logic are considered in an algebraic framework. The main result is the decidability of the universal theory of the free modal algebra imageω extended in signature by adding constants for free generators. As corollaries we obtain: there exists an algorithm for the recognition of admissibility of rules with parameters in the modal system Grz, the substitution problem for Grz and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  25.  23
    The Completeness of Intuitionistic Propositional Calculus for its Intended Interpretation.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):17-28.
  26.  15
    A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
    In this paper we obtain a finite Hilbert-style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}-formulas containing this fragment.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  30
    On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.
  28.  44
    The Separation Theorem of Intuitionist Propositional Calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  29.  29
    Proofs of Non-Deducibility in Intuitionistic Functional Calculus.Andkzej Mostowski - 1948 - Journal of Symbolic Logic 13 (4):204-207.
  30.  7
    Errata: Investigations Into the Sentential Calculus with Identity.Stephen L. Bloom & Roman Suszko - 1976 - Notre Dame Journal of Formal Logic 17 (4):640-640.
  31.  35
    A Correction to the Sentential Calculus of Tarski's Introduction to Logic.Daniel J. Bronstein - 1942 - Journal of Symbolic Logic 7 (1):34.
  32.  16
    On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus.J. C. C. Mckinsey - 1944 - Journal of Symbolic Logic 9 (4):96-96.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. A Deontic Sentential Calculus Without Certain Paradoxes Of The Standard System.Leon Gumanski - 1975 - Bulletin of the Section of Logic 4 (2):74-76.
     
    Export citation  
     
    Bookmark  
  34. Hiż Henry. Extendióle Sentential Calculus.A. R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):299-299.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35. A Random Generator for Sentential Calculus.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in Language Translation and Theorem Proving. Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    Bookmark  
  36.  6
    Review: O. V. Zich, Sentential Calculus with Complex Values. [REVIEW]K. Reach - 1939 - Journal of Symbolic Logic 4 (4):165-166.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  13
    Rudimentary Kripke Models for the Intuitionistic Propositional Calculus.Kosta Došen - 1993 - Annals of Pure and Applied Logic 62 (1):21-49.
    It is shown that the intuitionistic propositional calculus is sound and complete with respect to Kripke-style models that are not quasi-ordered. These models, called rudimentary Kripke models, differ from the ordinary intuitionistic Kripke models by making fewer assumptions about the underlying frames, but have the same conditions for valuations. However, since accessibility between points in the frames need not be reflexive, we have to assume, besides the usual intuitionistic heredity, the converse of heredity, which says that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
    In classical propositional calculus for each proposition A(p) the following holds: $\vdash A(p) \leftrightarrow A^3(p)$ . In this paper we consider what remains of this in the intuitionistic case. It turns out that for each proposition A(p) the following holds: there is an n ∈ N such that $\vdash A^n(p) \leftrightarrow A^{n + 2}(p)$ . As a byproduct of the proof we give some theorems which may be useful elsewhere in propositional calculus.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  10
    Ohnishi Masao. On Intuitionistic Functional Calculus. Osaka Mathematical Journal, Vol. 5 , Pp. 203–209.A. Heyting - 1957 - Journal of Symbolic Logic 22 (3):299-299.
  40.  38
    On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):42-45.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  8
    On the Intuitionistic Propositional Calculus.John Dawson & A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (1):344-344.
  42.  10
    On Some Non-Classical Extensions of Second-Order Intuitionistic Propositional Calculus.Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (2):155-164.
  43.  10
    Adequate Models for the Non-Fregean Sentential Calculus (SCI).Roman Suszko - 1973 - In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, Language, and Probability. Boston: D. Reidel Pub. Co.. pp. 49--54.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Completeness of Intuitionistic Propositional Calculus.Harvey Friedman - manuscript
    An assignment is a function f that assigns subsets of N to some atoms. Then f is extended to f* which sends every formula A of HPC to a subset of S(A).
     
    Export citation  
     
    Bookmark  
  45. On 2nd Order Intuitionistic Propositional Calculus with Full Comprehension.Dov M. Gabbay - 1974 - Archive for Mathematical Logic 16 (3-4):177-186.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  46.  8
    Review: Kazuo Matsumoto, Decision Procedure for Modal Sentential Calculus S3. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):468-468.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  9
    Review: R. Bradshaw Angell, Note on a Less Restricted Type of Rule of Inference; R. B. Angell, The Sentential Calculus Using Rule of Inference $R_e$. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):602-603.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  21
    Some Superconstructive Propositional Calculi.Realizable Formulas of Propositional Logic.The Relationship Between Deducibility in the Intuitionist Propositional Calculus and Finite Implicational Structures. [REVIEW]Gene F. Rose, V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138.
  49.  42
    The Formalised Conception of Substantial Change in Terms of Some Modal Sentential Calculus (Logic LCG).Kordula Świętorzecka - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:113-120.
    The intention of the presented paper is to establish within a certain modal semantic based on the situational ontology a description of the phenomenon of substantial change, which originally had been formulated within Aristotelian metaphysics – a theory based in reistic ontology. We understand substantial changesto be such changes whose subjects are primary substances (πρωται ουσι αι ) conceived as actually existing individual essences. The analysed changeability is of an existential character - it pertains to the existence of those substances. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  14
    Description of All Functions Definable by Formulæ of the 2nd Order Intuitionistic Propositional Calculus on Some Linear Heyting Algebras.Dimitri Pataraia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):457-483.
    Explicit description of maps definable by formulæ of the second order intuitionistic propositional calculus is given on two classes of linear Heyting algebras?the dense ones and the ones which possess successors. As a consequence, it is shown that over these classes every formula is equivalent to a quantifier free formula in the dense case, and to a formula with quantifiers confined to the applications of the successor in the second case.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000