On Jaśkowski's discussive logics

We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

[1]  Jerzy Kotas.  The axiomatization of S. Jaśkowski's discussive system , 1974 .

[2]  N. Costa,et al.  Undecidability and incompleteness in classical mechanics , 1991 .

[3]  Francisco Antonio Doria,et al.  A Suppes predicate for general relativity and set-theoretically generic spacetimes , 1990 .

[4]  Ayda I. Arruda,et al.  A survey of Paraconsistent Logic (1) , 1980 .

[5]  Francisco Antonio Doria,et al.  Suppes predicates for classical physics , 1992 .

[6]  N. C. A. da Costa,et al.  On JaŚkowski's Discussive Logic(*) , 1977 .

[7]  Ayda I. Arruda.  Aspects of the historical development of paraconsistent logic , 1989 .

[8]  Tomasz Furmanowski,et al.  Remarks on discussive propositional calculus , 1975 .

[9]  Roberto Giuntini,et al.  Paraconsistent quantum logics , 1989 .

[10]  Jerzy Kotas.  Discussive sentential calculus of Jaśkowski , 1975 .

[11]  Ian Stewart,et al.  Deciding the undecidable , 1991, Nature.

[12]  Newton C. A. da Costa.  Logic and Pragmatic Truth , 1989 .

[13]  N. Costa,et al.  On the Incompleteness of Axiomatized Models for the Empirical Sciences , 1992, Philosophica.

[14]  Leon Henkin,et al.  On the Definition of 'Formal Deduction' , 1956, J. Symb. Log..

[15]  S. Jaskowski.  Propositional calculus for contradictory deductive systems , 1969 .

[16]  Newton C. A. da Costa,et al.  On Suppes' set theoretical predicates , 1988 .

[17]  Newton C. A. da Costa,et al.  Pragmatic truth and approximation to truth , 1986, Journal of Symbolic Logic.

[18]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[19]  Newton C. A. da Costa.  Logics that are both paraconsistent and paracomplete , 1989 .

[20]  Newton C. A. da Costa,et al.  Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 , 1980 .

[21]  Alonzo Church,et al.  Introduction to Mathematical Logic , 1991 .

[22]  Francisco Antonio Doria,et al.  Structures, Suppes Predicates, and Boolean-Valued Models in Physics , 1996 .

[23]  Jerzy Kotas.  On the algebra of classes of formulae of Jaśkowski's discussive system , 1971 .