Asset Details
Do you wish to reserve the book?
An analytic calculus for intuitionistic belief
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
An analytic calculus for intuitionistic belief
Do you wish to request the book?
An analytic calculus for intuitionistic belief
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Paper
An analytic calculus for intuitionistic belief
2021
Overview
Intuitionistic belief has been axiomatized by Artemov and Protopopescu as an extension of intuitionistic propositional logic by means of the distributivity scheme K, and of co-reflection \\(A A\\). This way, belief is interpreted as a result of verification, and it fits an extended Brouwer-Heyting-Kolmogorov interpretation for intuitionistic propositional logic with an epistemic modality. In the present paper, structural properties of a natural deduction system \\(IEL^-\\) for intuitionistic belief are investigated. The focus is on the analyticity of the calculus, so that the normalization theorem and the subformula property are proven firstly. From these, decidability and consistency of the logic follow as corollaries. Finally, disjunction properties, \\(\\)-primality, and admissibility of reflection rule are established by using purely proof-theoretic methods.
Publisher
Cornell University Library, arXiv.org
Subject
