Journal: Studia Logica

Volume 95, Issue 3

301 -- 344Juan Climent Vidal, Juan Soliveres Tur. A 2-categorial Generalization of the Concept of Institution
345 -- 354Miklós Ferenczi. Non-standard Stochastics with a First Order Algebraization
355 -- 378Katalin Bimbó. Schönfinkel-type Operators for Classical Logic
407 -- 416Adam Kolany. Reversed Resolution in Reducing General Satisfiability Problem
417 -- 441Tamar Aizikowitz, Nissim Francez, Daniel Genkin, Michael Kaminski. Extending Free Pregroups with Lower Bounds
443 -- 448Silvio Ghilardi. Book Reviews

Volume 95, Issue 1-2

1 -- 3Diederik Aerts, Sonja Smets, Jean Paul Van Bendegem. The Contributions of Logic to the Foundations of Physics: Foreword
5 -- 20Jaroslaw Pykacz. Unification of Two Approaches to Quantum Logic: Every Birkhoff - von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic
21 -- 35Krystyna Mruczek-Nasieniewska. The Varieties Defined by P-compatible Identities of Modular Ortholattices
37 -- 61Tomasz Kowalski, Francesco Paoli, Roberto Giuntini, Antonio Ledda. The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras
63 -- 80Hector Freytes. Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras
81 -- 100J. V. Corbett, T. Durt. An Intuitionistic Model of Single Electron Interference
101 -- 124Steven French, Décio Krause. Remarks on the Theory of Quasi-sets
125 -- 137Alessandra Palmigiano, R. Re. Topological Groupoid Quantales
139 -- 159Robert Trypuz. A Completeness Proof of Kiczuk's Logic of Physical Change
161 -- 182Gergely Székely. A Geometrical Characterization of the Twin Paradox and its Variants
183 -- 206Michael Ashcroft. Does Science Influence the Logic we Ought to Use: A Reflection on the Quantum Logic Controversy
207 -- 232Neil Tennant. The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational Field
233 -- 257Paul Weingartner. An Alternative Propositional Calculus for Application to Empirical Sciences
259 -- 277Thomas Durt. Experimental Proposal for Testing the Emergence of Environment Induced (EIN) Classical Selection Rules with Biological Systems
279 -- 300Edwin J. Beggs, José Félix Costa, John V. Tucker. Physical Oracles: The Turing Machine and the Wheatstone Bridge