
In the late forties, Stanislaw Jaśkowski published two papers on the discursive (or discussive) sentential calculus, D 2 . He provided a definition of it by an interpretation in the language of S5 of Lewis. The known axiomatization of D 2 with discursive connectives as primitives was introduced by da Costa, Dubikajtis and Kotas in 1977. It turns out, however, that one of the axioms they used is not a thesis of the real Jaśkowski’s calculus. In fact, they built a new system, D* 2 for short, that differs from D 2 in many respects. The aim of this paper is to introduce a direct Kripke-type semantics for the system, axiomatize it in a new way and prove soundness and completeness theorems. Additionally, we present labelled tableaux for D* 2 .
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
