| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 6 |      | Arnon Avron, Ori Lahav: A Multiple-Conclusion Calculus for First-Order Gödel Logic. CSR 2011: 456-469 |
| 5 | | Agata Ciabattoni, Ori Lahav, Anna Zamansky: Basic Constructive Connectives, Determinism and Matrix-Based Semantics. TABLEAUX 2011: 119-133 |
| 4 | | Arnon Avron, Ori Lahav: Kripke Semantics for Basic Sequent Systems. TABLEAUX 2011: 43-57 |
| 2010 | ||
| 3 | | Arnon Avron, Ori Lahav: Strict Canonical Constructive Systems. Fields of Logic and Computation 2010: 75-94 |
| 2 | | Arnon Avron, Ori Lahav: On Constructive Connectives and Systems Logical Methods in Computer Science 6(4): (2010) |
| 2009 | ||
| 1 | | Arnon Avron, Ori Lahav: Canonical Constructive Systems. TABLEAUX 2009: 62-76 |
| 1 | Arnon Avron | [1] [2] [3] [4] [6] |
| 2 | Agata Ciabattoni | [5] |
| 3 | Anna Zamansky | [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page