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

Identifying monotonic and non-monotonic relationships

โœ Scribed by Shlomo Yitzhaki; Edna Schechtman

Book ID
116423272
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
266 KB
Volume
116
Category
Article
ISSN
0165-1765

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Non-monotonic fuzzy reasoning
Non-monotonic fuzzy reasoning
โœ J.L. Castro; E. Trillas; J.M. Zurita ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 598 KB

Fuzzy reasoning can provide techniques both for representing and managing the imprecision in commonsense reasoning. But, like human reasoning, it conduces to inconsistencies (inherent to the imprecise or incomplete knowledge) that might be solved in the frame of fuzzy logic, simulating human behavio

Monotone simulations of non-monotone pro
Monotone simulations of non-monotone proofs
โœ Albert Atserias; Nicola Galesi; Pavel Pudlรกk ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 173 KB

We show that an LK proof of size m of a monotone sequent (a sequent that contains only formulas in the basis 4; 3) can be turned into a proof containing only monotone formulas of size m Oรฐlog mรž and with the number of proof lines polynomial in m: Also we show that some interesting special cases, nam