Tyler Brunet

Orcid: 0000-0002-7609-7254

According to our database¹, Tyler Brunet authored at least 3 papers between 2020 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Henkin Completeness of Some Instantial Neighbourhood Logics.

[DOI]

Australas. J. Log., 2026

2023

An Evidence Logic Perspective on Schotch-Jennings Forcing.

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2023

2020

Reasoning Continuously: A Formal Construction of Continuous Proofs.

[DOI]

Stud Logica, 2020