|
| | Preview | Author(s) | Title | Type | Issue Date |
| 41 | | Avron, Arnon ; Konikowska, Beata ; Zamansky, Anna | Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics | Konferenzbeitrag Inproceedings  | 2012 |
| 42 | | Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna | Effective finite-valued semantic for labelled calculi | Konferenzbeitrag Inproceedings | 2012 |
| 43 | | Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel | Towards Algorithmic Cut-Introduction | Konferenzbeitrag Inproceedings | 2012 |
| 44 | | Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale | A systematic approach to canonicity in the classical sequent calculus | Konferenzbeitrag Inproceedings | 2012 |
| 45 | | Hetzl, Stefan ; Straßburger, Lutz | Herbrand-confluence for cut elimination in classical first order logic | Konferenzbeitrag Inproceedings | 2012 |
| 46 | | Kuich, Werner | A unifying Kleene Theorem for weighted finite automata | Konferenzbeitrag Inproceedings | 2011 |
| 47 | | Kuich, Werner | Algebraic systems and pushdown automata | Konferenzbeitrag Inproceedings | 2011 |
| 48 | | Ciabattoni, Agata ; Lahav, Ori ; Zamansky, Anna | Basic constructive connectives, determinism and matrix-based semantics | Konferenzbeitrag Inproceedings | 2011 |
| 49 | | Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna | What is an ideal logic for reasoning with inconsistency? | Konferenzbeitrag Inproceedings | 2011 |
| 50 | | Esik, Zoltan ; Kuich, Werner | Axiomatizing rational series | Konferenzbeitrag Inproceedings | 2011 |
| 51 | | Ciabattoni, Agata ; Rusnok, Pavel | On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert Systems | Konferenzbeitrag Inproceedings | 2010 |
| 52 | | Esik, Zoltan ; Ito, Masami ; Kuich, Werner | Linear languages of finite and infinite words | Konferenzbeitrag Inproceedings | 2010 |
| 53 | | Picado Muino, David | THE (PROBABILISTIC) LOGICAL CONTENT OF CADIAG2 - Rule-based Probabilistic Approach | Konferenzbeitrag Inproceedings | 2010 |
| 54 | | Jenei, Sándor | On the structural description of involutive FLe-algebras | Konferenzbeitrag Inproceedings | 2010 |
| 55 | | Klinov, Pavel ; Parsia, Bijan ; Picado Muino, David | The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach | Konferenzbeitrag Inproceedings | 2010 |
| 56 | | Muino, David Picado | A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics | Konferenzbeitrag Inproceedings | 2010 |
| 57 | | Baaz, Matthias ; Fermüller, Christian | A resolution mechanism for Prenex Gödel logic | Konferenzbeitrag Inproceedings | 2010 |
| 58 | | Terwijn, Sebastiaan A. | Decidability and undecidability in probability logic | Konferenzbeitrag Inproceedings | 2009 |
| 59 | | Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert | SAT in monadic Gödel logics: a borderline between decidability and undecidability | Konferenzbeitrag Inproceedings | 2009 |
| 60 | | Avron, Arnon ; Ciabattoni, Agata ; Zamansky, Anna | Canonical calculi: invertibility, axiom, expansion and (non)-determinism | Konferenzbeitrag Inproceedings | 2009 |
