![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Studia Logica, Volume 95
Volume 95, Numbers 1-2, July 2010
- Diederik Aerts
, Sonja Smets
, Jean Paul Van Bendegem
:
The Contributions of Logic to the Foundations of Physics: Foreword. 1-3 - Jaroslaw Pykacz
:
Unification of Two Approaches to Quantum Logic: Every Birkhoff - von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic. 5-20 - Krystyna Mruczek-Nasieniewska
:
The Varieties Defined by P-compatible Identities of Modular Ortholattices. 21-35 - Tomasz Kowalski
, Francesco Paoli, Roberto Giuntini
, Antonio Ledda
:
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras. 37-61 - Hector Freytes:
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras. 63-80 - John V. Corbett, T. Durt:
An Intuitionistic Model of Single Electron Interference. 81-100 - Steven French, Décio Krause:
Remarks on the Theory of Quasi-sets. 101-124 - Alessandra Palmigiano
, R. Re:
Topological Groupoid Quantales. 125-137 - Robert Trypuz
:
A Completeness Proof of Kiczuk's Logic of Physical Change. 139-159 - Gergely Székely
:
A Geometrical Characterization of the Twin Paradox and its Variants. 161-182 - Michael Ashcroft:
Does Science Influence the Logic we Ought to Use: A Reflection on the Quantum Logic Controversy. 183-206 - Neil Tennant:
The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational Field. 207-232 - Paul Weingartner:
An Alternative Propositional Calculus for Application to Empirical Sciences. 233-257 - Thomas Durt:
Experimental Proposal for Testing the Emergence of Environment Induced (EIN) Classical Selection Rules with Biological Systems. 259-277 - Edwin J. Beggs, José Félix Costa
, John V. Tucker:
Physical Oracles: The Turing Machine and the Wheatstone Bridge. 279-300
Volume 95, Number 3, August 2010
- Juan Climent Vidal, Juan Soliveres Tur
:
A 2-categorial Generalization of the Concept of Institution. 301-344 - Miklós Ferenczi:
Non-standard Stochastics with a First Order Algebraization. 345-354 - Katalin Bimbó:
Schönfinkel-type Operators for Classical Logic. 355-378 - M. L. J. van de Vel:
Theories with the Independence Property. 379-405 - Adam Kolany:
Reversed Resolution in Reducing General Satisfiability Problem. 407-416 - Tamar Aizikowitz, Nissim Francez, Daniel Genkin, Michael Kaminski:
Extending Free Pregroups with Lower Bounds. 417-441 - Silvio Ghilardi:
Book Reviews. 443-448
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.