A new formulation of discussive logic
β
Jerzy Kotas; N. C. A. Costa
π
Article
π
1979
π
Springer Netherlands
π
English
β 778 KB
Ja~kowski introduced the digcussive propositional Calculus D 2 as a basis for a logic which could be used ~s underlying logic of inconsistent but nontrivial theories (see, for example, N.