DC FieldValueLanguage
dc.contributor.authorDoder, Draganen
dc.contributor.authorOgnjanović, Zoranen
dc.contributor.authorPerović, Aleksandaren
dc.contributor.authorRašković, Miodragen
dc.contributor.editorKahraman, Cengiz-
dc.contributor.editorTunc Bozbura, Faik-
dc.contributor.editorKerre, Etienne E.-
dc.date.accessioned2020-02-18T20:06:28Z-
dc.date.available2020-02-18T20:06:28Z-
dc.date.issued2012-12-01en
dc.identifier.isbn978-981441773-0en
dc.description.abstractLet L be a countable first-order language such that its set of constant symbols Const(L) is countable. We provide a complete infinitary propositional logic (formulas remain finite sequences of symbols, but we use inference rules with countably many premises) for description of C-valued L-structures, where C is an infinite subset of Const(L). The main goal is to provide a formal framework for reasoning about F-valued evaluations of propositional formulas, where F is some countable ordered field. The prime examples of F are the field of rational numbers ℚ, its real closure ℚ and the field of fractions ℚ(ε), where ε is a positive infinitesimal.en
dc.publisherWorld Scientific-
dc.relation.ispartofWorld Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.en
dc.titleOn evaluations of propositional formulas whose range is a subset of some fixed countable ordered fielden
dc.typeConference Paperen
dc.relation.conference10th International Fuzzy Logic and Intelligent Technologies inNuclear Science Conference, FLINS 2012; Istanbul; Turkey; 26 August 2012 through 29 August 2012-
dc.identifier.doi10.1142/9789814417747_0091-
dc.identifier.scopus2-s2.0-84892666903en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage567-
dc.relation.lastpage572-
dc.relation.volume7-
dc.description.rankM33-
item.fulltextNo Fulltext-
item.openairetypeConference Paper-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

SCOPUSTM   
Citations

1
checked on Nov 27, 2022

Page view(s)

43
checked on Nov 28, 2022

Google ScholarTM

Check

Altmetric

Altmetric


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