|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 181 | | Cerna, David ; Leitsch, Alexander ; Lolic, Anela | Schematic Refutations of Formula Schemata | Preprint Preprint | 2019 |
| 182 | | Freund, Rudolf ; Holzer, Markus | Eleventh Workshop on Non-Classical Models of Automata and Applications, NCMA 2019, Valencia, Spain, July 2-3, 2019 | Konferenzband Proceedings  | 2019 |
| 183 | | Behrisch, Mike ; Hermann, Miki ; Mengel, Stefan ; Salzer, Gernot | Minimal Distance of Propositional Models | Artikel Article | 2019 |
| 184 | | Ciabattoni, Agata ; Genco, Francesco ; Aschieri, Federico | Intermediate Logic Proofs as Concurrent Programs | Präsentation Presentation | 2019 |
| 185 | | Freund, Rudolf ; Rogojin, Vladimir ; Verlan, Sergey | Variants of Networks of Evolutionary Processors with Polarizations and a Small Number of Processors | Artikel Article | 2019 |
| 186 | | di Angelo, Monika ; Salzer, Gernot | Collateral Use of Deployment Code for Smart Contracts in Ethereum | Konferenzbeitrag Inproceedings | 2019 |
| 187 | | Pascucci, Matteo ; Tuboly, Adam Tamas | Preface | Artikel Article | 2019 |
| 188 | | Pascucci, Matteo | Propositional quantifiers in labelled natural deduction for normal modal logic | Artikel Article | 2019 |
| 189 | | Leitsch, Alexander ; Lolic, Anela | Extraction of Expansion Trees | Artikel Article | 2019 |
| 190 | | Freschi, Elisa ; Ollett, Andrew ; Pascucci, Matteo | Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions | Artikel Article | 2019 |
| 191 | | Aschieri, Federico | On Herbrand constructive Logics III: Intuitionistic logic of constant domains | Präsentation Presentation | 2018 |
| 192 | | Aschieri, Federico | Natural Deduction and Normalization Proofs for the Intersection Type Discipline | Präsentation Presentation | 2018 |
| 193 | | Fermüller, Christian | Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoning | Präsentation Presentation | 2018 |
| 194 | | Fermüller, Christian | A cost conscious game model for intutionistic linear logic with subexponentials | Präsentation Presentation | 2018 |
| 195 | | Fermüller, Christian | From Lorenzen's dialogue game to game semantics for substructural logics | Präsentation Presentation | 2018 |
| 196 | | Fermüller, Christian | Exploring Argumentation Based Semantics for Relevance Logic | Präsentation Presentation | 2018 |
| 197 | | Fermüller, Christian | Games and analytic proof systems | Präsentation Presentation | 2018 |
| 198 | | Majer, Ondrej ; Fermüller, Christian | On the Expressivity of the Propositional Fragment of Independence Friendly Logic | Präsentation Presentation | 2018 |
| 199 | | Fermüller, Christian ; Lang, Timo | Interpretpreting Substructural Logics by Games of Information Extraction | Präsentation Presentation | 2018 |
| 200 | | Fermüller, Christian | Substructural Calculi and Games of Information Extraction | Präsentation Presentation | 2018 |
