Journal ArticleOPEN ACCESS

TABLEAU FOR THE LOGIC ILP

Publications de l'Institut Mathematique (2022) 112(126) 1-11
DOI: 10.2298/PIM2226001O
1Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

Abstract

A tableau system for a logic suitable for intuitionistic reasoning about probabilities is presented. Soundness and completeness of the system are proved. A decision procedure based on the tableau system is given.

Author supplied keywords

Cite

CITATION STYLE

APA

Ognjanović, Z., Perović, A., & Ilić-Stepić, A. (2022). TABLEAU FOR THE LOGIC ILP. Publications de l’Institut Mathematique, 112(126), 1–11. https://doi.org/10.2298/PIM2226001O

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free