Liron Cohen
Titel
Zitiert von
Zitiert von
Jahr
The middle ground-ancestral logic
L Cohen, A Avron
Synthese 196 (7), 2671-2693, 2019
152019
Ancestral logic: a proof theoretical study
L Cohen, A Avron
International Workshop on Logic, Language, Information, and Computation, 137-151, 2014
112014
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
L Cohen, RNS Rowe
Computer Science Logic (CSL), 2018
72018
Completeness for ancestral logic via a computationally-meaningful semantics
L Cohen
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
72017
Formalizing scientifically applicable mathematics in a definitional framework
A Avron, L Cohen
Journal of Formalized Reasoning 9 (1), 53-70, 2016
72016
Ancestral logic and equivalent systems
L Cohen
Tel Aviv University, 2010
72010
Computability Beyond Church-Turing via Choice Sequences
M Bickford, L Cohen, R Constable, V Rahli
Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2018
62018
Non-well-founded proof theory of transitive closure logic
L Cohen, RNS Rowe
ACM Transactions on Computational Logic (TOCL) 21 (4), 1-31, 2020
22020
Intuitionistic ancestral logic
L Cohen, RL Constable
Journal of Logic and Computation 29 (4), 469-486, 2019
22019
Bar induction is compatible with constructive type theory
V Rahli, M Bickford, L Cohen, RL Constable
Journal of the ACM (JACM) 66 (2), 1-35, 2019
22019
Infinitary and Cyclic Proof Systems for Transitive Closure Logic
L Cohen, RNS Rowe
arXiv preprint arXiv:1802.00756, 2018
22018
The Effects of Effects on Constructivism
L Cohen, SA Faro, R Tate
Electronic Notes in Theoretical Computer Science 347, 87-120, 2019
12019
Towards automated reasoning in Herbrand structures
L Cohen, RNS Rowe, Y Zohar
Journal of Logic and Computation 29 (5), 693-721, 2019
12019
A minimal computational theory of a minimal computational universe
A Avron, L Cohen
International Symposium on Logical Foundations of Computer Science, 37-54, 2018
12018
Reasoning Inside The Box: Deduction in Herbrand Logics
L Cohen, Y Zohar
Global Conference on Artificial Intelligence 50, 107--120, 2017
12017
Formalizing Mathematics via Predicative and Constructive Approaches
L Cohen
Tel-Aviv University, 2016
12016
Intuitionistic ancestral logic as a dependently typed abstract programming language
L Cohen, RL Constable
International Workshop on Logic, Language, Information, and Computation, 14-26, 2015
12015
Integrating Induction and Coinduction via Closure Operators and Proof Cycles
L Cohen, RNS Rowe
International Joint Conference on Automated Reasoning, 375-394, 2020
2020
Applicable Mathematics in a Minimal Computational Theory of Sets
A Avron, L Cohen
arXiv preprint arXiv:1801.02387, 2018
2018
Open Bar—a Reconciliation between Intuitionistic and Classical Logic
M Bickford, L Cohen, RL Constable, V Rahli
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20