| |
 |
Zbornik RadovaPublisher: Matematički institut SANU, BeogradISSN: 0351-9406Issue: 12(20)Date: 2009 |
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
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
AbstractMSC: 03B70 68T30 68T27 68T35 03B44 03B45 03B35 03B60 03B80 03F20
|
![[?]](../images/help_icon.png "The following search operators are available:
+ Include, a word must be present.
- Exclude, a word must not be present.
( ) Group words into a sub expression.
* Wildcard at the end of a word.
\" \" Defines a phrase."){kind=icon}