1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/36
DC FieldValueLanguage
dc.contributor.authorIkodinović, Nebojšaen_US
dc.contributor.authorRašković, Miodragen_US
dc.contributor.authorMarković, Zoranen_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.date.accessioned2022-08-06T15:09:36Z-
dc.date.available2022-08-06T15:09:36Z-
dc.date.issued2013-05-13-
dc.identifier.issn15423980en
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/36-
dc.description.abstractIn 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.en
dc.relation.ispartofJournal of Multiple-Valued Logic and Soft Computingen_US
dc.subjectClassical propositional logicen
dc.subjectCompleteness theoremen
dc.subjectMeasureen
dc.subjectUncertaintyen
dc.titleLogics with generalized measure operatorsen_US
dc.typeArticleen_US
dc.identifier.scopus2-s2.0-84877267203-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/84877267203-
dc.contributor.affiliationAlgebra and Mathematical Logicen_US
dc.relation.firstpage527en_US
dc.relation.lastpage555en_US
dc.relation.volume20en_US
dc.relation.issue5-6en_US
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.author.deptAlgebra and Mathematical Logic-
crisitem.author.orcid0000-0003-3832-760X-
Appears in Collections:Research outputs
Show simple item record

SCOPUSTM   
Citations

4
checked on Nov 7, 2024

Page view(s)

14
checked on Nov 14, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.