nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Completeness Proof of Kiczuk’s Logic of Physical Change
|
Trypuz, Robert |
|
2010 |
|
1-2 |
p. 139-159 |
artikel |
2 |
A Geometrical Characterization of the Twin Paradox and its Variants
|
Székely, Gergely |
|
2010 |
|
1-2 |
p. 161-182 |
artikel |
3 |
Algebraic Functions
|
Campercholi, M. |
|
2011 |
|
1-2 |
p. 285-306 |
artikel |
4 |
Algebraic theory of quasivarieties of heterogeneous partial algebras
|
Burmeister, Peter |
|
2004 |
|
1-2 |
p. 129-153 |
artikel |
5 |
An Alternative Propositional Calculus for Application to Empirical Sciences
|
Weingartner, Paul |
|
2010 |
|
1-2 |
p. 233-257 |
artikel |
6 |
An application of a Theorem of Ash to finite covers
|
Auinger, Karl |
|
2004 |
|
1-2 |
p. 45-57 |
artikel |
7 |
An Intuitionistic Model of Single Electron Interference
|
Corbett, J. V. |
|
2010 |
|
1-2 |
p. 81-100 |
artikel |
8 |
A non-finitely based quasi-variety of De Morgan algebras
|
Gaitán, Hernando |
|
2004 |
|
1-2 |
p. 237-248 |
artikel |
9 |
Applications of Priestley duality in transferring optimal dualities
|
Davey, Brian A. |
|
2004 |
|
1-2 |
p. 213-236 |
artikel |
10 |
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
|
Odintsov, Sergei P. |
|
2012 |
|
1-2 |
p. 319-338 |
artikel |
11 |
Boolean Skeletons of MV-algebras and ℓ-groups
|
Cignoli, Roberto |
|
2011 |
|
1-2 |
p. 141-147 |
artikel |
12 |
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras
|
Davey, B. A. |
|
2012 |
|
1-2 |
p. 137-161 |
artikel |
13 |
Checking quasi-identities in a finite semigroup may be computationally hard
|
Volkov, M. V. |
|
2004 |
|
1-2 |
p. 349-356 |
artikel |
14 |
Classical Modal De Morgan Algebras
|
Celani, Sergio A. |
|
2011 |
|
1-2 |
p. 251-266 |
artikel |
15 |
Compatible Operations on Residuated Lattices
|
Castiglioni, J. L. |
|
2011 |
|
1-2 |
p. 203-222 |
artikel |
16 |
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation
|
Montagna, Franco |
|
2012 |
|
1-2 |
p. 289-317 |
artikel |
17 |
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics
|
Ono, Hiroakira |
|
2012 |
|
1-2 |
p. 339-359 |
artikel |
18 |
Does Science Influence the Logic we Ought to Use: A Reflection on the Quantum Logic Controversy
|
Ashcroft, Michael |
|
2010 |
|
1-2 |
p. 183-206 |
artikel |
19 |
Dominions in quasivarieties of universal algebras
|
Budkin, Alexander |
|
2004 |
|
1-2 |
p. 107-127 |
artikel |
20 |
Dynamic Modalities
|
Vakarelov, Dimiter |
|
2012 |
|
1-2 |
p. 385-397 |
artikel |
21 |
Editorial Introduction
|
Abad, Manuel |
|
2011 |
|
1-2 |
p. 1-3 |
artikel |
22 |
Effective Cut-elimination for a Fragment of Modal mu-calculus
|
Mints, Grigori |
|
2012 |
|
1-2 |
p. 279-287 |
artikel |
23 |
Expansions of Semi-Heyting Algebras I: Discriminator Varieties
|
Sankappanavar, H. P. |
|
2011 |
|
1-2 |
p. 27-81 |
artikel |
24 |
Experimental Proposal for Testing the Emergence of Environment Induced (EIN) Classical Selection Rules with Biological Systems
|
Durt, Thomas |
|
2010 |
|
1-2 |
p. 259-277 |
artikel |
25 |
Extendible Formulas in Two Variables in Intuitionistic Logic
|
Bezhanishvili, Nick |
|
2012 |
|
1-2 |
p. 61-89 |
artikel |
26 |
Fatal Heyting Algebras and Forcing Persistent Sentences
|
Esakia, Leo |
|
2012 |
|
1-2 |
p. 163-173 |
artikel |
27 |
Finite basis problems and results for quasivarieties
|
Maróti, Miklós |
|
2004 |
|
1-2 |
p. 293-320 |
artikel |
28 |
Finite quasivarieties and self-referential conditions
|
Vernitski, Alexei |
|
2004 |
|
1-2 |
p. 337-348 |
artikel |
29 |
Foreword
|
Beklemishev, Lev |
|
2012 |
|
1-2 |
p. 1-7 |
artikel |
30 |
Fragments of R-Mingle
|
Blok, W. J. |
|
2004 |
|
1-2 |
p. 59-106 |
artikel |
31 |
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
|
Castaño, D. |
|
2011 |
|
1-2 |
p. 223-235 |
artikel |
32 |
Fregean logics with the multiterm deduction theorem and their algebraization
|
Czelakowski, J. |
|
2004 |
|
1-2 |
p. 171-212 |
artikel |
33 |
From the editors
|
Adams, M. E. |
|
2004 |
|
1-2 |
p. 3-5 |
artikel |
34 |
Frontal Operators in Weak Heyting Algebras
|
Celani, Sergio A. |
|
2012 |
|
1-2 |
p. 91-114 |
artikel |
35 |
Implicit connectives of algebraizable logics
|
Caicedo, Xavier |
|
2004 |
|
1-2 |
p. 155-170 |
artikel |
36 |
Impugning Randomness, Convincingly
|
Gurevich, Yuri |
|
2012 |
|
1-2 |
p. 193-222 |
artikel |
37 |
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle
|
Skvortsov, Dmitrij |
|
2012 |
|
1-2 |
p. 361-383 |
artikel |
38 |
Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit
|
Cimadamore, C. |
|
2011 |
|
1-2 |
p. 175-201 |
artikel |
39 |
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable
|
Citkin, Alex |
|
2012 |
|
1-2 |
p. 115-135 |
artikel |
40 |
On Certain Quasivarieties of Quasi-MV Algebras
|
Ledda, A. |
|
2011 |
|
1-2 |
p. 149-174 |
artikel |
41 |
On Endomorphisms of Ockham Algebras with Pseudocomplementation
|
Blyth, T. S. |
|
2011 |
|
1-2 |
p. 237-250 |
artikel |
42 |
On quasivarieties and varieties as categories
|
Adámek, Jiří |
|
2004 |
|
1-2 |
p. 7-33 |
artikel |
43 |
On relative universality and Q-universality
|
Koubek, V. |
|
2004 |
|
1-2 |
p. 279-291 |
artikel |
44 |
On subdirectly irreducible OMAs
|
Holzer, Richard |
|
2004 |
|
1-2 |
p. 261-277 |
artikel |
45 |
On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties
|
Adaricheva, K. V. |
|
2004 |
|
1-2 |
p. 35-44 |
artikel |
46 |
Open questions related to the problem of Birkhoff and Maltsev
|
Adams, M. E. |
|
2004 |
|
1-2 |
p. 357-378 |
artikel |
47 |
Physical Oracles: The Turing Machine and the Wheatstone Bridge
|
Beggs, Edwin J. |
|
2010 |
|
1-2 |
p. 279-300 |
artikel |
48 |
Priestley Duality for Bilattices
|
Jung, A. |
|
2012 |
|
1-2 |
p. 223-252 |
artikel |
49 |
Priestley Style Duality for Distributive Meet-semilattices
|
Bezhanishvili, Guram |
|
2011 |
|
1-2 |
p. 83-122 |
artikel |
50 |
Prime Filters, Normality and Irreducibility in Lattices
|
Hauser-Bordalo, Gabriela |
|
2011 |
|
1-2 |
p. 5-7 |
artikel |
51 |
Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras
|
Freytes, Hector |
|
2010 |
|
1-2 |
p. 63-80 |
artikel |
52 |
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras
|
Campercholi, M. |
|
2011 |
|
1-2 |
p. 267-283 |
artikel |
53 |
Quasi-varieties: A special access
|
Hoehnke, Hans-Jürgen |
|
2004 |
|
1-2 |
p. 249-260 |
artikel |
54 |
Quasivarieties of cancellative commutative binary modes
|
Matczak, K. |
|
2004 |
|
1-2 |
p. 321-335 |
artikel |
55 |
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic
|
Zapata, Francisco |
|
2012 |
|
1-2 |
p. 419-435 |
artikel |
56 |
Remarks on the Theory of Quasi-sets
|
French, Steven |
|
2010 |
|
1-2 |
p. 101-124 |
artikel |
57 |
Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras
|
Díaz Varela, J. P. |
|
2011 |
|
1-2 |
p. 307-330 |
artikel |
58 |
Sahlqvist Correspondence for Modal mu-calculus
|
Benthem, Johan van |
|
2012 |
|
1-2 |
p. 31-60 |
artikel |
59 |
Semi-intuitionistic Logic
|
Cornejo, Juan Manuel |
|
2011 |
|
1-2 |
p. 9-25 |
artikel |
60 |
Students of Leo Esakia
|
|
|
2012 |
|
1-2 |
p. 9-15 |
artikel |
61 |
Subalgebras of Heyting and De Morgan Heyting Algebras
|
Castaño, Valeria |
|
2011 |
|
1-2 |
p. 123-139 |
artikel |
62 |
The Contributions of Logic to the Foundations of Physics: Foreword
|
Aerts, Diederik |
|
2010 |
|
1-2 |
p. 1-3 |
artikel |
63 |
The Dual Adjunction between MV-algebras and Tychonoff Spaces
|
Marra, Vincenzo |
|
2012 |
|
1-2 |
p. 253-278 |
artikel |
64 |
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ quasi-MV Algebras
|
Kowalski, T. |
|
2010 |
|
1-2 |
p. 37-61 |
artikel |
65 |
The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun’s Gravitational Field
|
Tennant, Neil |
|
2010 |
|
1-2 |
p. 207-232 |
artikel |
66 |
The Ontology of Justifications in the Logical Setting
|
Artemov, Sergei N. |
|
2012 |
|
1-2 |
p. 17-30 |
artikel |
67 |
The Second Incompleteness Theorem and Bounded Interpretations
|
Visser, Albert |
|
2012 |
|
1-2 |
p. 399-418 |
artikel |
68 |
The Varieties Defined by P-compatible Identities of Modular Ortholattices
|
Mruczek-Nasieniewska, Krystyna |
|
2010 |
|
1-2 |
p. 21-35 |
artikel |
69 |
Topological Groupoid Quantales
|
Palmigiano, A. |
|
2010 |
|
1-2 |
p. 125-137 |
artikel |
70 |
Topological Proofs of Some Rasiowa-Sikorski Lemmas
|
Goldblatt, Robert |
|
2012 |
|
1-2 |
p. 175-191 |
artikel |
71 |
Unification of Two Approaches to Quantum Logic: Every Birkhoff – von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic
|
Pykacz, Jarosław |
|
2010 |
|
1-2 |
p. 5-20 |
artikel |