A new axiomatization of Jaśkowski's discussive logic

Logic and Logical Philosophy 9:35 (2001)
  Copy   BIBTEX


In 1995 N. C. A. da Costa and F. Doria proposed the modaltype elegant axiomatization of Jaśkowski’s discussive logic D2. Yet his ownproblem which was formulated in 1975 in a following way: Is it possible toformulate natural and simple axiomatization for D2, employing classical disjunction and conjunction along with discussive implication and conjunctionas the only primitive connectives? — still seems left open. The matter of factis there are some axiomatizations of D2 proposed, e.g., by T. Furmanowski, J. Kotas and N. C. A. da Costa , G. Achtelik, L. Dubikajtus,E. Dudek and J. Konior , satisfying da Costa’s conditions, but they arerather looking very complicated and unnatural. An attempt is made to solveda Costa’s problem. The new axiomatization of D2 is proposed essentiallybased on da Costa’s-Doria axiomatization from 1995



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Discussive Logic. A Short History of the First Paraconsistent Logic.Fabio De Martin Polo - 2023 - In Jens Lemanski & Ingolf Max (eds.), Historia Logicae and its Modern Interpretation. London: College Publications. pp. 267--296.


Added to PP

61 (#270,470)

6 months
5 (#711,375)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vladimir Vasyukov
Russian Academy of Sciences

References found in this work

Add more references