nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Algorithms and computations for ( m , n ) -fold p-ideals in BCI-algebras
|
Kordi, A. |
|
2010 |
8 |
1 |
p. 22-32 11 p. |
artikel |
2 |
A theory of permission based on the notion of derogation
|
Stolpe, Audun |
|
2010 |
8 |
1 |
p. 97-113 17 p. |
artikel |
3 |
Combining linear-time temporal logic with constructiveness and paraconsistency
|
Kamide, Norihiro |
|
2010 |
8 |
1 |
p. 33-61 29 p. |
artikel |
4 |
Dynamics of mental activity
|
Miranker, Willard L. |
|
2010 |
8 |
1 |
p. 114-140 27 p. |
artikel |
5 |
Editorial Board
|
|
|
2010 |
8 |
1 |
p. iii-vi nvt p. |
artikel |
6 |
Equivalence for the G 3 ′ -stable models semantics
|
Carballido, José Luis |
|
2010 |
8 |
1 |
p. 82-96 15 p. |
artikel |
7 |
Formalization of the ad hominem argumentation scheme
|
Walton, Douglas |
|
2010 |
8 |
1 |
p. 1-21 21 p. |
artikel |
8 |
Group announcement logic
|
Ågotnes, Thomas |
|
2010 |
8 |
1 |
p. 62-81 20 p. |
artikel |
9 |
The axiomatization of override and update
|
Berendsen, Jasper |
|
2010 |
8 |
1 |
p. 141-150 10 p. |
artikel |