35 found
Order:
Disambiguations
Dolph Ulrich [35]Dolph Edward Ulrich [1]
  1.  20
    Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):201-212.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  20
    R. Harrop. Some Forms of Models of Propositional Calculi. Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966, Edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 163–174. - Ronald Harrop. On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 17 , Pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  9
    Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Mathematical Logic Quarterly 27 (13‐14):201-212.
  4.  41
    The Finite Model Property and Recursive Bounds on the Size of Countermodels.Dolph Ulrich - 1983 - Journal of Philosophical Logic 12 (4):477 - 480.
  5.  30
    Answer to a Question Suggested by Schumm.Dolph Ulrich - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (25):385-387.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  34
    Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.Larry Wos, Dolph Ulrich & Branden Fitelson - unknown
    detail a question that, for a quarter of a century, remained open despite intense study by various researchers. Is the formula XC B = e(x e(e(e( ) e( )) z)) a single axiom for the classical equivalential calculus when the rules of inference consist..
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  14
    Donald Nute. Essential Formal Semantics. Rowman and Littlefield, Totowa, N.J., 1981, Xiii + 186 Pp. [REVIEW]Dolph Ulrich - 1986 - Journal of Symbolic Logic 51 (1):252-253.
  8.  27
    On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):193-194.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  23
    A Descending Chain of Incomplete Extensions of Implicational S 5.Dolph Ulrich - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (13):201-208.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  24
    A Single Axiom for Relevant Implication.Dolph Ulrich - 2012 - Bulletin of the Section of Logic 41 (1/2):13-16.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  21
    Generalization of a Result of Pahi's.Dolph Ulrich - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):437-438.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  22
    Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251-251.
  13.  25
    On Two Open Questions Concerning the Implicational Fragment of R-Mingle.Dolph Ulrich - 2009 - Bulletin of the Section of Logic 38 (1/2):1-4.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  39
    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 the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  21
    D-Complete Axioms for the Classical Equivalential Calculus.Dolph Ulrich - 2005 - Bulletin of the Section of Logic 34 (3):135-142.
  16.  22
    Models of Three-Valued Calculi in Implicational S5.Dolph Ulrich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  13
    Generalization of a Result of Pahi's.Dolph Ulrich - 1976 - Mathematical Logic Quarterly 22 (1):437-438.
  18.  12
    On the Independence of B From I, C, W, K 1′, and Karpenko's Formula X.Dolph Ulrich - 1994 - Bulletin of the Section of Logic 23:96-97.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  6
    Essential Formal Semantics.Dolph Ulrich - 1986 - Journal of Symbolic Logic 51 (1):252-253.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  8
    Semantics for ${\rm S}4.1.2$.Dolph Ulrich - 1978 - Notre Dame Journal of Formal Logic 19 (3):461-464.
  21.  27
    ${\rm RMLC}$: Solution to a Problem Left Open by Lemmon.Dolph Ulrich - 1981 - Notre Dame Journal of Formal Logic 22 (2):187-189.
  22.  22
    On the Incompleteness of a Descending Chain of Extensions of Implicational S5.Dolph Ulrich - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):321-323.
  23.  30
    A Five-Valued Model of the $E$-$P$-$Q$-Theses.Dolph Ulrich - 1987 - Notre Dame Journal of Formal Logic 29 (1):137-138.
  24.  5
    On a Modal System of R. A. Bull's.Dolph Ulrich - 1976 - Notre Dame Journal of Formal Logic 17 (3):479-480.
  25.  5
    On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Mathematical Logic Quarterly 22 (1):193-194.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  5
    Review: Donald Nute, Essential Formal Semantics. [REVIEW]Dolph Ulrich - 1986 - Journal of Symbolic Logic 51 (1):252-253.
  27.  4
    Erratum: ``Some Results Concerning Finite Models for Sentential Calculi''.Dolph Ulrich - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.
  28.  4
    Review: Timothy Smiley, The Independence of Connectives. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):250-251.
  29.  16
    A Descending Chain of Incomplete Extensions of Implicational S 5.Dolph Ulrich - 1985 - Mathematical Logic Quarterly 31 (13):201-208.
  30.  18
    Some Results Concerning Finite Models for Sentential Calculi.Dolph Ulrich - 1972 - Notre Dame Journal of Formal Logic 13 (3):363-368.
  31.  13
    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  
  32.  8
    Answer to a Question Raised by Harrop.Dolph Ulrich - 1982 - Bulletin of the Section of Logic 11 (3/4):140-141.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  1
    Timothy Smiley. The Independence of Connectives. The Journal of Symbolic Logic, Vol. 27 No. 4 , Pp. 426–436.Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):250-251.
  34. Answer To A Question Suggested By Schumm.Dolph Ulrich - 1984 - Mathematical Logic Quarterly 30 (25):385-387.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  1
    Semantics for S4.1.2.Dolph Ulrich - 1978 - Notre Dame Journal of Formal Logic 19:461.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark