|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
35 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A First Order Nonmonotonic Extension of Constructive Logic |
Pearce, David |
2005 |
2-3 |
p. 321-346 |
artikel |
||
| 2 | A Logical Account of Formal Argumentation |
Caminada, Martin W. A. |
2009 |
2-3 |
p. 109-145 |
artikel |
||
| 3 | A Mixed λ-calculus |
Fleury, Marie-Renée |
2007 |
2-3 |
p. 269-294 |
artikel |
||
| 4 | Annotation Theories over Finite Graphs |
Gabbay, Dov M. |
2009 |
2-3 |
p. 147-180 |
artikel |
||
| 5 | A Non-deterministic View on Non-classical Negations |
Avron, Arnon |
2005 |
2-3 |
p. 159-194 |
artikel |
||
| 6 | Applying Pregroups to Italian Statements and Questions |
Casadio, Claudia |
2007 |
2-3 |
p. 253-268 |
artikel |
||
| 7 | Book Reviews |
Jago, Mark |
2007 |
2-3 |
p. 359-362 |
artikel |
||
| 8 | Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages |
Francez, Nissim |
2007 |
2-3 |
p. 295-321 |
artikel |
||
| 9 | Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming |
Wu, Yining |
2009 |
2-3 |
p. 383-403 |
artikel |
||
| 10 | Contents of Volume 80 |
2005 |
2-3 |
p. 467-468 |
artikel |
|||
| 11 | Contracting Intuitionistic Theories |
Tennant, Neil |
2005 |
2-3 |
p. 369-391 |
artikel |
||
| 12 | Double-Negation Elimination in Some Propositional Logics |
Beeson, Michael |
2005 |
2-3 |
p. 195-234 |
artikel |
||
| 13 | Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical Problems from Applied Logic I |
Søgaard, Anders |
2007 |
2-3 |
p. 363-367 |
artikel |
||
| 14 | Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research |
Shramko, Yaroslav |
2005 |
2-3 |
p. 347-367 |
artikel |
||
| 15 | Editorial Introduction |
Buszkowski, Wojciech |
2007 |
2-3 |
p. 139-144 |
artikel |
||
| 16 | Fibring Argumentation Frames |
Gabbay, Dov M. |
2009 |
2-3 |
p. 231-295 |
artikel |
||
| 17 | Freek Wiedijk (Ed.), The Seventeen Provers of the World |
Kahle, Reinhard |
2007 |
2-3 |
p. 369-374 |
artikel |
||
| 18 | From the Editors |
Wansing, Heinrich |
2005 |
2-3 |
p. 153-157 |
artikel |
||
| 19 | Gentzen-Type Methods for Bilattice Negation |
Kamide, Norihiro |
2005 |
2-3 |
p. 265-289 |
artikel |
||
| 20 | Learnability of Pregroup Grammars |
Béchet, Denis |
2007 |
2-3 |
p. 225-252 |
artikel |
||
| 21 | Linear Processing with Pregroups |
Preller, Anne |
2007 |
2-3 |
p. 171-197 |
artikel |
||
| 22 | Logical Modes of Attack in Argumentation Networks |
Gabbay, Dov M. |
2009 |
2-3 |
p. 199-230 |
artikel |
||
| 23 | Meta-Argumentation Modelling I: Methodology and Techniques |
Boella, Guido |
2009 |
2-3 |
p. 297-355 |
artikel |
||
| 24 | Modal Logics of Reactive Frames |
Gabbay, Dov M. |
2009 |
2-3 |
p. 405-446 |
artikel |
||
| 25 | Modal Provability Foundations for Argumentation Networks |
Gabbay, Dov M. |
2009 |
2-3 |
p. 181-198 |
artikel |
||
| 26 | Negation in the Context of Gaggle Theory |
Dunn, J. Michael |
2005 |
2-3 |
p. 235-264 |
artikel |
||
| 27 | Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation |
Vakarelov, Dimiter |
2005 |
2-3 |
p. 393-430 |
artikel |
||
| 28 | On the Logic of β-pregroups |
Kiślak-Malinowska, Aleksandra |
2007 |
2-3 |
p. 323-342 |
artikel |
||
| 29 | Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition |
Béchet, Denis |
2007 |
2-3 |
p. 199-224 |
artikel |
||
| 30 | Preface for Studia Logica Special Issue (2) |
Gabbay, Dov M. |
2009 |
2-3 |
p. 105-108 |
artikel |
||
| 31 | Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview |
Gabbay, Dov M. |
2009 |
2-3 |
p. 357-381 |
artikel |
||
| 32 | Should Pregroup Grammars be Adorned with Additional Operations? |
Lambek, Joachim |
2007 |
2-3 |
p. 343-358 |
artikel |
||
| 33 | Socratic Proofs and Paraconsistency: A Case Study |
Wiśniewski, Andrzej |
2005 |
2-3 |
p. 431-466 |
artikel |
||
| 34 | The Class of Extensions of Nelson's Paraconsistent Logic |
Odintsov, Sergei P. |
2005 |
2-3 |
p. 291-320 |
artikel |
||
| 35 | Type Logics and Pregroups |
Buszkowski, Wojciech |
2007 |
2-3 |
p. 145-169 |
artikel |
35 gevonden resultaten