Publication date: 01.01.1970
Licence: None
Editorial team
Editors Paweł M. Idziak, Andrzej Wroński
Reports on Mathematical Logic, Number 50, 2015, pp. 3 - 30
https://doi.org/10.4467/20842589RM.15.001.3910Reports on Mathematical Logic, Number 50, 2015, pp. 31 - 39
https://doi.org/10.4467/20842589RM.15.002.3911Reports on Mathematical Logic, Number 50, 2015, pp. 41 - 51
https://doi.org/10.4467/20842589RM.15.003.3912Reports on Mathematical Logic, Number 50, 2015, pp. 53 - 66
https://doi.org/10.4467/20842589RM.15.004.3913Reports on Mathematical Logic, Number 50, 2015, pp. 67 - 81
https://doi.org/10.4467/20842589RM.15.005.3914Reports on Mathematical Logic, Number 50, 2015, pp. 83 - 107
https://doi.org/10.4467/20842589RM.15.006.3915Słowa kluczowe: paraconsistent logic, sequent calculus, Craig interpolation theorem, linear-time temporal logic, infinitary logic, Implication algebra, Tarski algebra, monoid of endomorphisms, Nelson’s logic; intuitionistic logic; Jankov’s logic; nonmonotonic reasoning; axiomatization, divisibility, Stone-ˇCech compactification, ultrafilter