On Jaskowski's discussive logic

@article{Costa1995OnJD,
  title={On Jaskowski's discussive logic},
  author={Newton C. A. da Costa and Francisco A. Doria},
  journal={Studia Logica},
  year={1995},
  volume={54},
  pages={33-60}
}
1. In t roduct ion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2. Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.1. The first-order monadic predicate calculus . . . . . . 35 2.2. The propositional calculus $5 . . . . . . . . . . . . . . 38 2.3. S5Q=: $5 with quantification and necessary equal i ty . 42 3. The system J . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 4. The system J* . . . . . . . . . . . . . . . . . . . . . . . . . . 48 5… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-7 of 7 references

' A Suppes Predicate for General Relativity and Set - Theoretically Generic Spacetimes '

  • F. A. DORIA
  • International Journal of Theoretical Physics
  • 1990
Highly Influential
13 Excerpts

' Propositional calculus for contradictory deductive systems '

  • S. C. KLEENE
  • Studia Logica
  • 1969

, ' Sur ta logique discoursive de Ja ~ kowski '

  • DA COSTA
  • Bull . Acad . Polonaise des Sciences
  • 1968

' Logics that are both paraconsistent and paracomplet ~ '

  • N. C. A. DA COSTA
  • Atti Acad . Lincei Rend . Fis .

' Remarks on Jagkowski ' s discussive logic '

  • N. C. A. DA COSTA
  • Rep . Math . Logic

' Structures , Suppes Predicates and Boolean - Valued Models in Physics ' , to appear in

  • J. Hintikka, F. A. DORIA, J. Echeverrfa
  • The Space of Mathematics

Similar Papers

Loading similar papers…