Switch to: Citations

Add references

You must login to add references.
  1. A Fascinating Country in the World of Computing -- Your Guide to Automated Reasoning.Robert K. Meyer - 2007 - Bulletin of Symbolic Logic 13 (3):359-361.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • [Fragments of Many-Valued Statement Calculi.Alan Rose & J. Barkley Rosser - 1958 - [S.N.].
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Logicians at play; or syll, simp and Hilbert.A. N. Prior - 1956 - Australasian Journal of Philosophy 34 (3):182 – 192.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Bounded contraction and Gentzen-style formulation of Ĺ‚ukasiewicz logics.Andreja Prijatelj - 1996 - Studia Logica 57 (2-3):437 - 456.
    In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n 2) is a version of the contraction rule where (n+ 1) occurrences of a formula may be contracted to n occurrences. We show that expansions of the linear models for (n + 1)- valued ukasiewicz logic are models for the multiplicative-additive classical linear logic, its affine version and their extensions with n-contraction. We prove the finite axiomatizability for the classes (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
    Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...)
    Download  
     
    Export citation  
     
    Bookmark   546 citations  
  • Shorter development of an axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Finding missing proofs with automated reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
    This article features long-sought proofs with intriguing properties (such as the absence of double negation and the avoidance of lemmas that appeared to be indispensable), and it features the automated methods for finding them. The theorems of concern are taken from various areas of logic that include two-valued sentential (or propositional) calculus and infinite-valued sentential calculus. Many of the proofs (in effect) answer questions that had remained open for decades, questions focusing on axiomatic proofs. The approaches we take are of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Notes on the axiomatics of the propositional calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford,: Oxford University Press.
    This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • Hilbert's new problem.Larry Wos & Ruediger Thiele - 2001 - Bulletin of the Section of Logic 30 (3):165-175.
    Download  
     
    Export citation  
     
    Bookmark   2 citations