Switch to: References

Add citations

You must login to add citations.
  1. Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - forthcoming - Philosophy and Technology:1-30.
    The topics of structural proof theory and logic programming have influenced each other for more than three decades. Proof theory has contributed the notion of sequent calculus, linear logic, and higher-order quantification. Logic programming has introduced new normal forms of proofs and forced the examination of logic-based approaches to the treatment of bindings. As a result, proof theory has responded by developing an approach to proof search based on focused proof systems in which introduction rules are organized into two alternating (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • From Deduction to Knowledge Representation.Michal Vince & Jan Sefranek - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20:216-234.
  • The Prospects for Mathematical Logic in the Twenty-First Century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
    The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Belief in the Singularity is Logically Brittle.Selmer Bringsjord - 2012 - Journal of Consciousness Studies 19 (7-8):14.
  • Frame Constructions, Truth Invariance and Validity Preservation in Many-Valued Modal Logic.Pantelis E. Eleftheriou & Costas D. Koutras - 2005 - Journal of Applied Non-Classical Logics 15 (4):367-388.
    In this paper we define and examine frame constructions for the family of manyvalued modal logics introduced by M. Fitting in the '90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting's original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of generated subframes, disjoint unions and bounded morphisms. Then, we provide an algebraic generalization of the canonical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Scientific Discovery From the Point of View of Acceptance.Eric Martin & Daniel Osherson - unknown
    In the four papers available on our web site (of which this is the first), we propose to develop an inductive logic. By “inductive logic” we mean a set of principles that distinguish between successful and unsuccessful strategies for scientific inquiry. Our logic will have a technical character, since it is built from the concepts and terminology of (elementary) model theory. The reader may therefore wish to know something about the kind of results on offer before investing time in definitions (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Sentential Logic for Psychologists.Richard Grandy & Daniel Osherson - unknown
    Students often study logic on the assumption that it provides a normative guide to reasoning in English. In particular, they are taught to associate connectives like “and” with counterparts in Sentential Logic. English conditionals go over to formulas with → as principal connective. The well-known difficulties that arise from such translation are not emphasized. The result is the conviction that ordinary reasoning is faulty when discordant with the usual representation in standard logic. Psychologists are particularly susceptible to this attitude.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Model Checking Hybrid Logics.Massimo Franceschet & Maarten de Rijke - 2006 - Journal of Applied Logic 4 (3):279-304.
  • The Logicist Manifesto: At Long Last Let Logic-Based Artificial Intelligence Become a Field Unto Itself.Selmer Bringsjord - 2008 - Journal of Applied Logic 6 (4):502-525.
  • The Assumptions on Knowledge and Resources in Models of Rationality.Pei Wang - 2011 - International Journal of Machine Consciousness 3 (01):193-218.
  • Interpolation in Computing Science: The Semantics of Modularization.Gerard R. Renardel de Lavalette - 2008 - Synthese 164 (3):437-450.
    The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in several areas of computer science. We give a short overview, and focus on the theory of software systems and modules. An algebra of theories TA is presented, with a nonstandard interpretation of the existential quantifier . In TA, the interpolation property of the underlying logic corresponds with the quantifier combination property . (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation