Switch to: Citations

Add references

You must login to add references.
  1. Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
    his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  • Philosophy of Logics.Susan Haack - 1978 - London and New York: Cambridge University Press.
    The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an international reputation for its accessibility, clarity, conciseness, orderliness, and range as well as for its thorough scholarship and careful analyses. Haack discusses the scope and purpose of logic, validity, truth-functions, quantification and ontology, names, descriptions, truth, truth-bearers, the set-theoretical and semantic paradoxes, and modality. She also explores the motivations for a whole range of non-classical systems of logic, including many-valued logics, (...)
  • Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.
  • Philosophy of Logics.Susan Haack - 1978 - Critica 14 (42):112-119.
    No categories
     
    Export citation  
     
    Bookmark   101 citations