Switch to: References

Add citations

You must login to add citations.
  1. P1 Algebras.Renato A. Lewin, Irene F. Mikenberg & Maria G. Schwarze - 1994 - Studia Logica 53 (1):21 - 28.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Paraconsistency.Igor Urbas - 1990 - Studies in Soviet Thought 39 (3-4):343-354.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  • Dialectical Logic, Classical Logic, and the Consistency of the World.Richard Routley & Robert K. Meyer - 1976 - Studies in Soviet Thought 16 (1-2):1-25.
  • Die Logik der Unbestimmtheiten Und Paradoxien.Ulrich Blau - 1985 - Erkenntnis 22 (1-3):369 - 459.
  • Dialectical Logic, Classical Logic, and the Consistency of the World.Richard Routley & Robert K. Meyer - 1976 - Studies in East European Thought 16 (1-2):1-25.
  • Variations on da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of Cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.
    Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC , is investigated in some detail, and dual-intuitionistic semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more illuminating (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
    S. Jakowski introduced the discussive prepositional calculus D 2as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D 2has afterwards been extended to a first-order predicate calculus and to a higher-order logic (cf. the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • Paraconsistency.Igor Urbas - 1990 - Studies in East European Thought 39 (3-4):343-354.
  • What is a Non-Truth-Functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.
    What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be drawn between logics characterizable through: (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
    S. Jaśkowski introduced the discussive propositional calculus D₂ as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories. D₂ has afterwards been extended to a first-order predicate calculus and to a higher-order logic. In this paper we present a natural version of D₂, in the sense of Jaśkowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus. A semantics for the new calculus is also presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Some Definitions of Negation Leading to Paraconsistent Logics.M. W. Bunder - 1984 - Studia Logica 43 (1-2):75 - 78.
    In positive logic the negation of a propositionA is defined byA X whereX is some fixed proposition. A number of standard properties of negation, includingreductio ad absurdum, can then be proved, but not the law of noncontradiction so that this forms a paraconsistent logic. Various stronger paraconsistent logics are then generated by putting in particular propositions forX. These propositions range from true through contingent to false.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark