Login / Signup
Tyler Brunet
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Reasoning Processes
Automated Reasoning
Formal Proof
Model Based Reasoning
Top Venues
WoLLIC
Stud Logica
</>
Publications
</>
Tyler Brunet
,
Gillman Payette
An Evidence Logic Perspective on Schotch-Jennings Forcing.
WoLLIC
(2023)
Tyler Brunet
,
Eyal Fisher
Reasoning Continuously: A Formal Construction of Continuous Proofs.
Stud Logica
108 (6) (2020)