Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/36| Title: | Logics with generalized measure operators | Authors: | Ikodinović, Nebojša Rašković, Miodrag Marković, Zoran Ognjanović, Zoran |
Affiliations: | Algebra and Mathematical Logic | Keywords: | Classical propositional logic;Completeness theorem;Measure;Uncertainty | Issue Date: | 13-May-2013 | Journal: | Journal of Multiple-Valued Logic and Soft Computing | Abstract: | In this paper we investigate logics which are suitable for reasoning about uncertainty in different situations. A possible-world approach is used to provide semantics to formulas. Axiomatic systems for our logics are given and the corresponding strong completeness theorems are proved. Relationships to other systems are discussed. © 2013 Old City Publishing, Inc. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/36 | ISSN: | 15423980 |
| Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
4
checked on Nov 7, 2024
Page view(s)
14
checked on Nov 13, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.