Publications de l'Institut Mathématique (Beograd), Vol. 73(87), pp. 31-38, 2003

$PUBLICATIONS DE L'INSTITUT MATH\'EMATIQUE (BEOGRAD) (N.S.)$

Publications de l'Institut Mathématique (Beograd)
Vol. 73(87), pp. 31-38 (2003)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

AN INTUITIONISTIC LOGIC WITH PROBABILISTIC OPERATORS

Zoran Markovi\'c, Zoran Ognjanovi\'c and Miodrag Ra\v skovi\'c

Matemati\v cki institut, Beograd, Serbia and Prirodno-matemati\v cki fakiltet, Kragujevac, Serbia

Abstract: A probabilistic extension of intuitionistic logic is introduced. The corresponding completeness and decidability theorems are proven.

Classification (MSC2000): 03B48; 03B45; 68T27

Full text of the article:

Compressed PostScript file (60 kilobytes)
PDF file (164 kilobytes)

Electronic version published on: 1 Jan 1970. This page was last modified: 14 Apr 2004.

© 1970 Mathematical Institute of the Serbian Academy of Science and Arts
© 1970--2004 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition