External Links

    Journal: Logica Universalis

    Volume 7, Issue 4

    403 -- 440Pedro Baltazar. Probabilization of Logics: Completeness and Decidability
    441 -- 505Henri Prade, Gilles Richard. From Analogical Proportion to Logical Proportions
    507 -- 532Gemma Robles. A Routley-Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart

    Volume 7, Issue 3

    265 -- 273Valeria de Paiva, Andrei Rodin. Elements of Categorical Logic: Fifty Years Later
    275 -- 289Dominique Duval. Deduction as Reduction, from a Categorical Point of View
    291 -- 321Eduardo Ochs. Internal Diagrams and Archetypal Reasoning in Category Theory
    323 -- 334Imants Baruss, Robert E. Woodrow. A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra
    335 -- 340Peter Johnstone. What do Freyd's Toposes Classify?
    341 -- 370Bart Jacobs. Dagger Categories of Tame Relations
    371 -- 402Maria Emilia Maietti, Giuseppe Rosolini. Quotient Completion for the Foundation of Constructive Mathematics

    Volume 7, Issue 2

    125 -- 145Christian Wallmann. A Shared Framework for Consequence Operations and Abstract Model Theory
    147 -- 166Francesca Poggiolesi. From Single Agent to Multi-Agent via Hypersequents
    167 -- 193Alex Citkin. Characteristic Formulas of Partial Heyting Algebras
    195 -- 209Thomas Studer. A Universal Approach to Guarantee Data Privacy
    211 -- 231Riccardo Bruni. Beppo Levi's Analysis of the Paradoxes
    233 -- 264Sebastian Enqvist. A General Lindström Theorem for Some Normal Modal Logics

    Volume 7, Issue 1

    1 -- 5Walter Alexandre Carnielli, Claudio Pizzi. Special Issue on Multimodal Logics: A Preface
    7 -- 20Christoph Benzmüller, Lawrence C. Paulson. Quantified Multimodal Logics in Simple Type Theory
    21 -- 31Juliana Bueno-Soler. Multimodal Incompleteness Under Weak Negations
    33 -- 69Carlos Caleiro, Luca Viganò, Marco Volpe. On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
    71 -- 86Marcelo E. Coniglio, Newton M. Peron. Modal Extensions of Sub-classical Logics for Recovering Classical Logic
    87 -- 101Max Cresswell. Axiomatising the Prior Future in Predicate Logic
    103 -- 111Franco Montagna, Duccio Pianigiani. 1 Sentences
    113 -- 123Claudio Pizzi. Relative Contingency and Bimodality
    runs on