Switch to: Citations

Add references

You must login to add references.
  1. Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions.Alexej P. Pynko - 1999 - Journal of Applied Non-Classical Logics 9 (1):61-105.
    In this paper we study 12 four-valued logics arisen from Belnap's truth and/or knowledge four-valued lattices, with or without constants, by adding one or both or none of two new non-regular operations—classical negation and natural implication. We prove that the secondary connectives of the bilattice four-valued logic with bilattice constants are exactly the regular four-valued operations. Moreover, we prove that its expansion by any non-regular connective (such as, e.g., classical negation or natural implication) is strictly functionally complete. Further, finding axiomatizations (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
    This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...
    Download  
     
    Export citation  
     
    Bookmark   209 citations  
  • Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
    This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.
    Download  
     
    Export citation  
     
    Bookmark   127 citations  
  • Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
    Download  
     
    Export citation  
     
    Bookmark   161 citations  
  • Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):241-251.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
    Download  
     
    Export citation  
     
    Bookmark   133 citations