Journal: Logica Universalis

Volume 17, Issue 4

405 -- 410Alex Citkin, Alexei Y. Muravitsky. Preface to the Rejection Special Issue
411 -- 432Gabriele Pulcini, Achille C. Varzi. Complementary Proof Nets for Classical Logic
433 -- 441Tomasz F. Skura. Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation
443 -- 460Alexei Y. Muravitsky. On Consequence and Rejection as Operators
461 -- 482Alexei Y. Muravitsky. Rejection: A Historico-Epistemological View
483 -- 509Alex Citkin. Unified Deductive Systems: An Outline
511 -- 528Urszula Wybraniec-Skardowska. Operator Counterparts of Types of Reasoning