✦ LIBER ✦

On strongest necessary and weakest sufficient conditions

✍ Scribed by Fangzhen Lin

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 159 KB
Volume: 128
Category: Article
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(01)00070-4

No coin nor oath required. For personal study only.

✦ Synopsis

Given a propositional theory T and a proposition q, a sufficient condition of q is one that will make q true under T , and a necessary condition of q is one that has to be true for q to be true under T . In this paper, we propose a notion of strongest necessary and weakest sufficient conditions. Intuitively, the strongest necessary condition of a proposition is the most general consequence that we can deduce from the proposition under the given theory, and the weakest sufficient condition is the most general abduction that we can make from the proposition under the given theory. We show that these two conditions are dual ones, and can be naturally extended to arbitrary formulas. We investigate some computational properties of these two conditions and discuss some of their potential applications.

📜 SIMILAR VOLUMES

Richard Taylor on necessary and sufficie

Richard Taylor on necessary and sufficient conditions

✍ John C. Stevens 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 376 KB

Richard Taylor gives an argument in his book Action andPurpose to show that the cause of an event B is the set of conditions, from among all those conditions that occurred, "each of which was necessary, and the totality of which was sufficient, for the occurrence of B. 'u This argument relies on the

On Necessary and Sufficient Conditions f

On Necessary and Sufficient Conditions for the Cook-Criterion

✍ M. Demuth 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 511 KB

The CooK-criterion is crucial in timedependent scattering theory for proving the existence of wave operators. In case of potential scattering for SCHBODINOER operators a lot of sufficient conditions on the potential is known. Here necessary conditions are considered. The results are applicable for m

Necessary and sufficient conditions for

Necessary and sufficient conditions for reachability on a simplex

✍ Bartek Roszak; Mireille E. Broucke 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 214 KB

On the necessary and sufficient conditio

On the necessary and sufficient conditions for Nash implementation

✍ Tomas Sjöström 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 502 KB

The purpose of this paper is to provide a constructive way of checking whether or not a social choice correspondence can be implemented in Nash equilibria. The results apply when there are two or more players. The usefulness of this constructive approach is illustrated for the case of single-peaked

Necessary and Sufficient Conditions for

Necessary and Sufficient Conditions for Evolutionary Suicide

✍ Mats Gyllenberg; Kalle Parvinen 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 151 KB

Evolutionary suicide is an evolutionary process where a viable population adapts in such a way that it can no longer persist. It has already been found that a discontinuous transition to extinction is a necessary condition for suicide. Here we present necessary and sufficient conditions, concerning

Necessary and Sufficient Conditions for

Necessary and Sufficient Conditions for Cerenkov Radiation

✍ Leon W. Zelby 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 512 KB

It ii3 dww?l thue in th6 t.xl.96 of c?wged beama of fini& ai-C.wad/orfi\* 430tromagnetio wave-gui4Sing atru&tbrea, t?~ condition v so/n ~2 a nec+xwq but not a eum?lt cCwww5n for gsnercctiora of Cmhv l-ad&&n. DiTpeding upon tluTwdu@wn , 8i.w ancE geometry of th6 beama, and dimlteione of t?w. waue-gtc