Formal logics for imprecise quantities

被引：0

|

作者：

Gottwald, Siegfried ^{[1
]}

机构：

[1] Abteilung Logik und Wissenschaftstheorie am Institut für Philosophie, Universität Leipzig, Beethovenstr. 15, Leipzig,04107, Germany

来源：

Informatik-Spektrum | 2015年 / 38卷 / 06期

关键词：

Compendex;

D O I：

10.1007/s00287-015-0930-9

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：533 / 542

相关论文

共 50 条

[1] Logics of imprecise comparative probability
Ding, Yifeng
Holliday, Wesley H.
Icard III, Thomas F.
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2021, 132 : 154 - 180
[2] From logics of formal inconsistency to logics of formal classicality
Omori, Hitoshi
LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 684 - 711
[3] FORMAL INDUCTION WITH IMPRECISE DATA SYSTEM
RAMDANI, M
AI COMMUNICATIONS, 1995, 8 (01) : 56 - 56
[4] Fuzzy sets and formal logics
Godo, Lluis
Gottwald, Siegfried
FUZZY SETS AND SYSTEMS, 2015, 281 : 44 - 60
[5] NONSTANDARD MODELS FOR FORMAL LOGICS
ROSSER, JB
WANG, H
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1949, 55 (09) : 875 - 875
[6] The inconsistency of certain formal logics
Kleene, SC
Rosser, JB
ANNALS OF MATHEMATICS, 1935, 36 : 630 - 636
[7] FORMAL LOGICS FOR COMMONSENSE REASONING
BESNARD, P
ANNALS OF TELECOMMUNICATIONS, 1989, 44 (5-6) : 242 - 250
[8] A formal methodology for analyzing tradeoffs of imprecise requirements
Yen, J
Tiao, WA
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1998, 8 (02) : 283 - 311
[9] On the formal semantics of IF-like logics
Figueira, Santiago
Gorin, Daniel
Grimson, Rafael
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (05) : 333 - 346
[10] A formal framework for description logics with uncertainty
Haarslev, Volker
Pai, Hsueh-leng
Shiri, Nematollaah
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2009, 50 (09) : 1399 - 1415

← 1 2 3 4 5 →