Mathematical Institute eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts Mathematical Institute
> Home / All Journals / Journal /
 
Front Page Zbornik RadovaPublisher: Matematički institut SANU, BeogradISSN: 0351-9406Issue: 12(20)Date: 2009
 

Preface 3 - 3
Zoran Ognjanović  
Bicartesian coherence revisited 5 - 34
Kosta Došen and Zoran Petrić  
AbstractKeywords: bicartesian categories, categories with finite products and coproducts, coherence, categorial proof theory, decidability of equality of arrows, conjunction and disjunction, decidability of equality of deductions, Post completenessMSC: 18A30 18A15 03G30 03G10 03F05 03F07 03B20
Probability Logics 35 - 111
Zoran Ognjanović, Miodrag Rašković and Zoran Marković  
AbstractKeywords: probability logic, conditional probability, approximate probability, non-standard analysis, strong completeness, decidability, default reasoningMSC: 68T37 03B60 03B70 68Ti5 68T27 68T30 03B35 03B44 03B45 03B42
Reasoning in Basic Description Logics and Description Logics with Modal Operators 113 - 158
Milenko Mosurović, Tatjana Stojanović and Ana Kaplarević-Mališić  
AbstractMSC: 03B70 68T30 68T27 68T35 03B44 03B45 03B35 03B60 03B80 03F20
Computational Interrpretations of Logics 159 - 215
Silvia Ghilezan and Silvia Likavec  
Abstract
 




Remote Address: 54.225.39.142 • Server: elib.mi.sanu.ac.rsHTTP User Agent: CCBot/2.0 (http://commoncrawl.org/faq/)