|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A First Order Nonmonotonic Extension of Constructive Logic |
Pearce, David |
2005 |
80 | 2-3 |
p. 321-346 |
artikel |
|
| 2 | A Non-deterministic View on Non-classical Negations |
Avron, Arnon |
2005 |
80 | 2-3 |
p. 159-194 |
artikel |
|
| 3 | Contents of Volume 80 |
2005 |
80 | 2-3 |
p. 467-468 |
artikel |
||
| 4 | Contracting Intuitionistic Theories |
Tennant, Neil |
2005 |
80 | 2-3 |
p. 369-391 |
artikel |
|
| 5 | Double-Negation Elimination in Some Propositional Logics |
Beeson, Michael |
2005 |
80 | 2-3 |
p. 195-234 |
artikel |
|
| 6 | Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research |
Shramko, Yaroslav |
2005 |
80 | 2-3 |
p. 347-367 |
artikel |
|
| 7 | From the Editors |
Wansing, Heinrich |
2005 |
80 | 2-3 |
p. 153-157 |
artikel |
|
| 8 | Gentzen-Type Methods for Bilattice Negation |
Kamide, Norihiro |
2005 |
80 | 2-3 |
p. 265-289 |
artikel |
|
| 9 | Negation in the Context of Gaggle Theory |
Dunn, J. Michael |
2005 |
80 | 2-3 |
p. 235-264 |
artikel |
|
| 10 | Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation |
Vakarelov, Dimiter |
2005 |
80 | 2-3 |
p. 393-430 |
artikel |
|
| 11 | Socratic Proofs and Paraconsistency: A Case Study |
Wiśniewski, Andrzej |
2005 |
80 | 2-3 |
p. 431-466 |
artikel |
|
| 12 | The Class of Extensions of Nelson's Paraconsistent Logic |
Odintsov, Sergei P. |
2005 |
80 | 2-3 |
p. 291-320 |
artikel |
12 gevonden resultaten