References
H. B. Curry,Foundations of mathematical logic, New York-San Francisco-Toronto-London, 1963.
N. C. A. daCosta,Remarks on Jaśkowski's discussive logic Reports on Mathematical Logic, vol. 4, 1975.
N. C. A. da Costa andL. Dubikajtis,Sur la logique discursive de Jaśkowski,Bulletin de l'Academie Polonaise des Sciences, Vol. 16 (1968), pp. 551–557.
R. Feys,Modal logic, Louvain-Paris, 1965.
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 deduckcyjnych sprezecnych,Studia Stocietatis Scientiarum Torunensis, sec. A, Vol. 1 (1948), pp. 57–77.
S. Jaśkowski,O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych,Studia Societatis Scientiarum Torunensis, sec. A, Vol. 1 (1949), pp. 171–172.
P. Jordan,Quantelogik und das kommutative Gesetz,The axiomatic method, Amesterdam, 1959, pp. 365–375.
J. Kotas,On the algebra of classes of formulae of Jaśkowski's discussive system,Studia Logica, Vol. 27 (1971), pp. 81–91.
J. Kotas,The axiomatization of S. Jaśkowski's discussive system,Studia Logica, Vol. 33, No. 2 (1974), pp. 195–200.
J. Kotas,On quantity of logical values in the discussive D 2 system and in the modular logic,Studia Logica, Vol. 33, No. 3 (1974), pp. 273–275.
J. Kotas,Logical systems with implications,Studia Logica, Vol. 28 (1971), pp. 101–117.
J. Kotas andA. Pieczkowski,Allgemeine logische und mathematische Theorien,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 16 (1970), pp. 353–376.
J. E. Rubin,Remarks about a closure algwebra in which closed elements are open,Proceedings of the American Mathematical Society, Vol. 7 (1956), pp. 30–36.
B. Sobociński,Aksjomatyzacja implikacyjno-koniunkeyjnej teorii dekukeji,Przegląd Filozoficzny, 38 (1935), pp. 85–95.
M. Wajsberg,Ein erweiterter Klassenkalkül,Monatshefte für Mathematik und Physik, 40 (1933), pp. 113–126.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kotas, J. Discussive sentential calculus of Jaśkowski. Stud Logica 34, 149–168 (1975). https://doi.org/10.1007/BF02123384
Issue Date:
DOI: https://doi.org/10.1007/BF02123384