Journal: Logica Universalis

Volume 8, Issue 3-4

283 -- 284Jean-Yves Béziau. Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum
285 -- 320Jan Zygmunt, Robert Purdy. Adolf Lindenbaum: Notes on his Life, with Bibliography and Selected References
321 -- 343René Gazzari. Direct Proofs of Lindenbaum Conditionals
345 -- 391Nathanael Leedom Ackerman. On Transferring Model Theoretic Theorems of \({\mathcal{L}_{{\infty}, \omega}}\) in the Category of Sets to a Fixed Grothendieck Topos
393 -- 406Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki. The Institution-Theoretic Scope of Logic Theorems
407 -- 422Marcelo E. Coniglio, Newton M. Peron. Dugundji's Theorem Revisited
423 -- 446João Rasga, Cristina Sernadas, Amílcar Sernadas. Craig Interpolation in the Presence of Unreliable Connectives
447 -- 467Roy T. Cook. There is No Paradox of Logical Validity
469 -- 498Daniel Gâinâ. Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally
499 -- 552Bernd Buldt. The Scope of Gödel's First Incompleteness Theorem

Volume 8, Issue 2

141 -- 164Katalin Bimbó, J. Michael Dunn. Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment
165 -- 191Thomas Macaulay Ferguson. On Non-Deterministic Quantification
193 -- 214Karin U. Katz, Mikhail G. Katz, Taras Kudryk. Toward a Clarity of the Extreme Value Theorem
215 -- 259Nissim Francez. Harmony in Multiple-Conclusion Natural-Deduction
261 -- 281Olivia Caramello. Fraïssé's Construction from a Topos-Theoretic Perspective

Volume 8, Issue 1

1 -- 15Arnon Avron. The Classical Constraint on Relevance
17 -- 24Daniele Mundici. Universal Properties of Łukasiewicz Consequence
25 -- 60Sara Negri. Proofs and Countermodels in Non-Classical Logics
61 -- 81Ivo Pezlar. Towards a More General Concept of Inference
83 -- 102Alexei Y. Muravitsky. Beyond Rasiowan Systems: Unital Deductive Systems
103 -- 140Eduardo Bonelli, Gabriela Steren. Hypothetical Logic of Proofs