Ori Lahav (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Arnon Avron, Ori Lahav: A Multiple-Conclusion Calculus for First-Order Gödel Logic. CSR 2011: 456-469

4 Arnon Avron, Ori Lahav: Kripke Semantics for Basic Sequent Systems. TABLEAUX 2011: 43-57

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)

1 Arnon Avron, Ori Lahav: Canonical Constructive Systems. TABLEAUX 2009: 62-76

Selection of 5 from 6 records - Ori Lahav has 3 coauthors

Last update 2012-02-16 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

6		Arnon Avron, Ori Lahav: A Multiple-Conclusion Calculus for First-Order Gödel Logic. CSR 2011: 456-469
4		Arnon Avron, Ori Lahav: Kripke Semantics for Basic Sequent Systems. TABLEAUX 2011: 43-57
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)
1		Arnon Avron, Ori Lahav: Canonical Constructive Systems. TABLEAUX 2009: 62-76