External Links

    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

    Volume 17, Issue 3

    259 -- 267Krzysztof A. Krawczyk, Bozena Pieta. Ultravaluations and their Applications in sfCPL
    269 -- 295Hamzeh Mohammadi, Mojtaba Aghaei. Rooted Hypersequent Calculus for Modal Logic S5
    297 -- 330Gennady Shtakser. Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness
    331 -- 346Chai Wah Wu. On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic
    347 -- 371Maristela Rocha. A Study of the Metatheory of Assertoric Syllogistic
    373 -- 404John Grant. Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators

    Volume 17, Issue 2

    139 -- 160Hugolin Bergier. An Intensional Formalization of Generic Statements
    161 -- 174Nathan Salmón. The Decision Problem for Effective Procedures
    175 -- 219Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic. Probability Logics for Reasoning About Quantum Observations
    221 -- 229Nissim Francez. A Dialectic Contra-Classical Logic
    231 -- 258Ekaterina Kubyshkina, Mattia Petrolo. Revising the Elenchus via Belief Revision

    Volume 17, Issue 1

    1 -- 21Cheng Liao. Games and Lindström Theorems
    23 -- 67Marc Aiguier, Isabelle Bloch. Abstract Categorical Logic
    69 -- 102Sayantan Roy, Sankha S. Basu, Mihir K. Chakraborty. Lindenbaum-Type Logical Structures
    103 -- 138Bartosz Wieckowski. Negative Predication and Distinctness
    runs on