References
N.C.A. daCosta andL. Dubikajtis,Sur la logique discursive de Jaśkowski,Bulletin de l'Académie Polonaise des Sciences,Série des sciences math., astr. et phys., 16 (1968), pp. 551–557.
K. Gödel,Eine Interpretation des intuitionistischen Aussagenkalküls,Ergebnisse eines mathematischen Kolloquiums, Heft 4 (1933), pp. 39–41.
S. Jaśkowski,Rachunek zdań dla systemów dedukcyjnych sprzecznych,Studia Societatis Scientiarum Torunensis, 1 (1948), pp. 57–77.
S. Jaśkowski,O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych,Studia Societatis Scientiarum Torunensis, 1 (1949), pp. 171–172.
J. Kotas,Logical systems with implications,Studia Logica, 28 (1971), pp. 101–117.
J. Kotas andA. Pieczkowski,Allgemeine logische und mathematische Theorien,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 16 (1970), pp. 353–376.
Author information
Authors and Affiliations
Additional information
Allatum est die 1 Augusti 1973
Rights and permissions
About this article
Cite this article
Kotas, J. The axiomatization of S. Jaśkowski's discussive system. Stud Logica 33, 195–200 (1974). https://doi.org/10.1007/BF02120494
Issue Date:
DOI: https://doi.org/10.1007/BF02120494