PUBLICATIONS DE L'INSTITUT MATH\'EMATIQUE (BEOGRAD) (N.S.) EMIS ELibM Electronic Journals 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:


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