Switch to: Citations

Add references

You must login to add references.
  1. Aspects of the historical development of paraconsistent logic.Ayda I. Arruda - 1989 - In Graham Priest, Richard Routley & Jean Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 99--130.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • The Logic of Inconsistency.N. Rescher & R. Brandom - 1980 - Blackwell.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • (1 other version)Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   227 citations  
  • Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...)
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Pragmatic truth and approximation to truth.Irene Mikenberg, Newton C. A. Costa & Rolando Chuaqui - 1986 - Journal of Symbolic Logic 51 (1):201-221.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Paraconsistent quantum logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
    Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
    The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   182 citations  
  • Propositional calculus for contradictory deductive systems.Stanisław Jaśkowski - 1969 - Studia Logica 24 (1):143 - 160.
    Download  
     
    Export citation  
     
    Bookmark   92 citations  
  • (3 other versions)An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
    Modal propositional logic; Modal predicate logic; A survey of modal logic.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • (3 other versions)Methods of logic.Willard Van Orman Quine - 1952 - Cambridge: Harvard University Press.
    Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • (2 other versions)Remarks on discussive propositional calculus.Tomasz Furmanowski - 1975 - Studia Logica 34 (1):39 - 43.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The axiomatization of S. Jaśkowski's discussive system.Jerzy Kotas - 1974 - Studia Logica 33 (2):195-200.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Discussive sentential calculus of Jaśkowski.Jerzy Kotas - 1975 - Studia Logica 34 (2):149-168.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • On the definition of formal dedu.Richard Montague - 1956 - Journal of Symbolic Logic 21:129.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On the algebra of classes of formulae of Jaśkowski's discussive system.Jerzy Kotas - 1971 - Studia Logica 27 (1):81-90.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On the Incompleteness of Axiomatized Models for the Empirical Sciences.Newton C. A. da Costa & Francisco Antonio Doria - 1992 - Philosophica 50.
    Download  
     
    Export citation  
     
    Bookmark   4 citations