Liron Cohen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle	2026-03-23	Paper
Separating Markov's principles	2025-06-18	Paper
Inductive continuity via Brouwer trees	2024-12-03	Paper
Realizing continuity using stateful computations	2024-09-25	Paper
\(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity Logical Methods in Computer Science	2024-09-04	Paper
Constructing unprejudiced extensional type theories with choices via modalities	2024-05-27	Paper
Integrating induction and coinduction via closure operators and proof cycles	2022-11-09	Paper
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent	2022-05-28	Paper
The effects of effects on constructivism	2022-04-29	Paper
Formally computing with the non-computable	2022-03-22	Paper
Non-well-founded deduction for induction and coinduction	2021-12-01	Paper
The middle ground-ancestral logic Synthese	2021-11-29	Paper
Computability beyond Church-Turing via choice sequences Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Non-well-founded proof theory of transitive closure logic ACM Transactions on Computational Logic	2020-09-11	Paper
Towards automated reasoning in Herbrand structures Journal Of Logic And Computation	2020-02-03	Paper
Bar induction is compatible with constructive type theory Journal of the ACM	2019-11-21	Paper
Formalizing Scientifically Applicable Mathematics in a Definitional Framework	2019-09-18	Paper
Intuitionistic ancestral logic Journal Of Logic And Computation	2019-07-29	Paper
A verified theorem prover backend supported by a monotonic library EPiC Series in Computing	2019-07-04	Paper
Applicable mathematics in a minimal computational theory of sets (available as arXiv preprint)	2018-11-02	Paper
A minimal computational theory of a minimal computational universe	2018-04-06	Paper
Completeness for ancestral logic via a computationally-meaningful semantics	2018-02-02	Paper
Intuitionistic ancestral logic as a dependently typed abstract programming language Logic, Language, Information, and Computation	2015-09-24	Paper
Ancestral Logic: A Proof Theoretical Study Logic, Language, Information, and Computation	2015-01-13	Paper

Research outcomes over time

This page was built for person: Liron Cohen