Journal: Logica Universalis

Volume 2, Issue 2

189 -- 207Motohiko Mouri, Norihiro Kamide. Strong Normalizability of Typed Lambda-Calculi for Substructural Logics
209 -- 233Francesco Paoli, Matthew Spinks, Robert Veroff. Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties
235 -- 263Régis Pellissier. n-Opposition
265 -- 275Allen L. Mann. Perfect IFG-Formulas
277 -- 309Mihai Codescu, Daniel Gâinâ. Birkhoff Completeness in Institutions

Volume 2, Issue 1

1 -- 0Jean-Yves Béziau, Gillman Payette. Preface
3 -- 11Terence Parsons. Things That are Right with the Traditional Square of Opposition
13 -- 29Jan Wolenski. Applications of Squares of Oppositions and Their Generalizations in Philosophical Analysis
31 -- 41Peter Bernhard. Visualizations of the Square of Opposition
43 -- 58Wolfgang Lenzen. Ploucquet's "Refutation" of the Traditional Square of Opposition
59 -- 70Ernesto Perini-Santos. John Buridan on the Bearer of Logical Relations
71 -- 76Valentin A. Bazhanov. Non-Classical Stems from Classical: N. A. Vasiliev's Approach to Logic and his Reassessment of the Square of Opposition
77 -- 85Mireille Staschok. Non-Traditional Squares of Predication and Quantification
87 -- 105Teresa Marques. The Square of Opposition and the Paradoxes
107 -- 126Stefania Bonfiglioli. Aristotle's Non-Logical Works and the Square of Oppositions in Semiotics
127 -- 141Antonino Drago. The Square of Opposition and the Four Fundamental Choices
143 -- 153Claudio Pizzi. Aristotle's Cubes and Consequential Implication
155 -- 165Luis Estrada-González. Weakened Semantics and the Traditional Square of Opposition
167 -- 187Dominique Luzeaux, Jean Sallantin, Christopher Dartnell. Logical Extensions of Aristotle's Square