Switch to: Citations

Add references

You must login to add references.
  1. Truth-value semantics.Hugues Leblanc - 1976 - New York: distributor, Elsevier/North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Evolving Theories.Raymond D. Gumb - 1979 - New York, NY, USA: Haven.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • (1 other version)Existence and description in formal logic.Dana Scott - 1967 - Journal of Symbolic Logic 38 (1):181--200.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Philosophical applications of free logic.Karel Lambert (ed.) - 1991 - New York: Oxford University Press.
    Free logic, an alternative to traditional logic, has been seen as a useful avenue of approach to a number of philosophical issues of contemporary interest. In this collection, Karel Lambert, one of the pioneers in, and the most prominent exponent of, free logic, brings together a variety of published essays bearing on the application of free logic to philosophical topics ranging from set theory and logic to metaphysics and the philosophy of religion. The work of such distinguished philosophers as Bas (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • An extended joint consistency theorem for free logic with equality.Raymond D. Gumb - 1979 - Notre Dame Journal of Formal Logic 20 (2):321-335.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On the Philosophical foundations of free description theory.Karel Lambert - 1987 - History and Philosophy of Logic 8 (1):57-66.
    This essay lays out the leading principles of the theories of definite descriptions advocated by Frege, Russell, and Hilbert and Bernays, and discusses various difficulties, philosophical and otherwise, with each treatment, fixing especially on the treatment of singular existence claims. Then the leading principles of free (definite) description theory are presented and it is shown how it resolves difficulties confronting the more traditional approaches. Finally, a pair of technical problems in free (definite) description theory are addressed. They help to show (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Attribution and Existence.Ronald Scales - 1969 - Dissertation, University of California, Irvine
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logics without existence assumptions.Rolf Schock - 1968 - Stockholm,: Almqvist & Wiksell.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • An extended joint consistency theorem for a family of free modal logics with equality.Raymond D. Gumb - 1984 - Journal of Symbolic Logic 49 (1):174-183.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On definitions.Rolf Schock - 1965 - Archive for Mathematical Logic 8 (1-2):28-44.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Logic Bivalence and Denotation.Ermanno Bencivenga, Karel Lambert & Bas C. Van Fraassen - 1999 - Atascadero, CA, USA: Ridgeview.
    Download  
     
    Export citation  
     
    Bookmark   4 citations