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 logic based on propositional intuitionistic logic200237th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia; 784-787M33