default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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
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.
last updated on 2024-12-13 19:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
