4 found
Sort by:
  1. Jan Komorowski, Lech T. Polkowski & Andrzej Skowron (1997). Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part. Studia Logica 58 (1):143-184.
    We are concerned with formal models of reasoning under uncertainty. Many approaches to this problem are known in the literature e.g. Dempster-Shafer theory [29], [42], bayesian-based reasoning [21], [29], belief networks [29], many-valued logics and fuzzy logics [6], non-monotonic logics [29], neural network logics [14]. We propose rough mereology developed by the last two authors [22-25] as a foundation for approximate reasoning about complex objects. Our notion of a complex object includes, among others, proofs understood as schemes constructed in order (...)
    Direct download (8 more)  
    My bibliography  
    Export citation  
  2. Ewa Orłowska & Andrzej Skowron (1995). Helena Rasiowa. Studia Logica 54 (1):1 - 2.
  3. Andrzej Skowron (1995). Editorial. Studia Logica 55 (1):1-1.
  4. Andrzej Skowron (1971). Semantic Translation of Programming Languages. Mathematical Logic Quarterly 17 (1):39-46.
    No categories
    Direct download (3 more)  
    My bibliography  
    Export citation