nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Arithmetical complexity of fuzzy predicate logics — A survey II
|
Hájek, Petr |
|
2009 |
161 |
2 |
p. 212-219 8 p. |
artikel |
2 |
Around provability logic
|
Esakia, Leo |
|
2009 |
161 |
2 |
p. 174-184 11 p. |
artikel |
3 |
Commutative integral bounded residuated lattices with an added involution
|
Cignoli, Roberto |
|
2009 |
161 |
2 |
p. 150-160 11 p. |
artikel |
4 |
Contents
|
|
|
2009 |
161 |
2 |
p. iv- 1 p. |
artikel |
5 |
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties
|
Esteva, Francesc |
|
2009 |
161 |
2 |
p. 185-202 18 p. |
artikel |
6 |
Generalizations of Boolean products for lattice-ordered algebras
|
Jipsen, P. |
|
2009 |
161 |
2 |
p. 228-234 7 p. |
artikel |
7 |
Glivenko theorems revisited
|
Ono, Hiroakira |
|
2009 |
161 |
2 |
p. 246-250 5 p. |
artikel |
8 |
Interpretability in PRA
|
Bílková, Marta |
|
2009 |
161 |
2 |
p. 128-138 11 p. |
artikel |
9 |
Interpretation of De Finetti coherence criterion in Łukasiewicz Logic
|
Mundici, Daniele |
|
2009 |
161 |
2 |
p. 235-245 11 p. |
artikel |
10 |
Logical structures and genus of proofs
|
Carbone, Alessandra |
|
2009 |
161 |
2 |
p. 139-149 11 p. |
artikel |
11 |
Note on witnessed Gödel logics with Delta
|
Baaz, Matthias |
|
2009 |
161 |
2 |
p. 121-127 7 p. |
artikel |
12 |
On the reflection invariance of residuated chains
|
Jenei, Sándor |
|
2009 |
161 |
2 |
p. 220-227 8 p. |
artikel |
13 |
Ordinal decompositions for preordered root systems
|
Hart, James B. |
|
2009 |
161 |
2 |
p. 203-211 9 p. |
artikel |
14 |
Preface
|
Artemov, Sergei |
|
2009 |
161 |
2 |
p. 119-120 2 p. |
artikel |
15 |
State-morphism MV-algebras
|
Di Nola, Antonio |
|
2009 |
161 |
2 |
p. 161-173 13 p. |
artikel |