✦ LIBER ✦

Compactness and normality in abstract logics

✍ Scribed by Xavier Caicedo

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 765 KB
Volume: 59
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)90229-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Monotone normality and compactness

✍ Mary Ellen Rudin 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 326 KB

A locally compact monotonically normal space having no compacfification which is monotonically normal is given as well as a consistent example of a compact Kl-space which is not Ko.

Compact normal forms in propositional lo

Compact normal forms in propositional logic and integer programming formulations

✍ J.M. Wilson 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 515 KB

Compactness and recursive enumerability

Compactness and recursive enumerability in intensional logic

✍ Bernd J. Stephan 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 280 KB

Sequential normal compactness versus top

Sequential normal compactness versus topological normal compactness in variational analysis

✍ Marián Fabian; Boris S. Mordukhovich 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 142 KB

We study relationships between two normal compactness properties of sets in Banach spaces that play an essential role in many aspects of variational analysis and its applications, particularly in calculus rules for generalized di erentiation, necessary optimality and suboptimality conditions for opt

Normal derivability in modal logic

✍ Jan von Plato 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB

The standard rule of necessitation in systems of natural deduction for the modal logic S4 concludes A from A whenever all assumptions A depends on are modal formulas. This condition prevents the composability and normalization of derivations, and therefore modifications of the rule have been suggest

On non-compact logics in NEXT(KTB)

✍ Zofia Kostrzycka 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

## Abstract In this paper we construct a continuum of logics, extensions of the modal logic **T~2~** = **KTB** ⊕ □^2^__p__ → □^3^__p__, which are non‐compact (relative to Kripke frames) and hence Kripke incomplete. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)