๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Two-Level Logic Approach to Reasoning About Computations

โœ Scribed by Andrew Gacek, Dale Miller, Gopalan Nadathur

Book ID
113068272
Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
606 KB
Volume
49
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A fuzzy logic approach to experience-bas
A fuzzy logic approach to experience-based reasoning
โœ Zhaohao Sun; Gavin Finnie ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 299 KB

Experience-based reasoning ~EBR! is a reasoning paradigm that has been used in almost every human activity such as business, military missions, and teaching activities since early human history. However, EBR has not been seriously studied from either a logical or mathematical viewpoint, although cas

A rough set approach to reasoning about
A rough set approach to reasoning about data
โœ J. F. Peters; A. Skowron ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 31 KB ๐Ÿ‘ 2 views
A two-valued logic for reasoning about d
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
โœ Beata Konikowska ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 807 KB

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by "consequence" operators. These operators correspond to the three "sensible" t