Methods of Mathematical Logic for Decision Support in Real Life Situations

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 1379
 
Project title
Methods of Mathematical Logic for Decision Support in Real Life Situations
Project Coordinator
Co-Investigator(s)
Start date
01-01-2002
Completion
31-12-2005
 

Publications
(All)


Refined By:
Subject:  Probabilistic logic, intuitionistic logic, completeness, decidability

Results 1-1 of 1 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic extension of intuitionistic logic1-Jan-2003Mathematical Logic Quarterly; 49(4); 415-424M22