✦ LIBER ✦

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

✍ Scribed by C. J. van Alten; J. G. Raftery

Book ID: 110221978
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 291 KB
Volume: 63
Category: Article
ISSN: 0039-3215
DOI: 10.1023/a:1005262630549

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Normal Modal Calculus Between T and S4

A Normal Modal Calculus Between T and S4 Without the Finite Model Property

✍ David Makinson 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 424 KB

The Finite Model Property and Subsystems

The Finite Model Property and Subsystems of Classical Propositional Calculusby Ronald Harrop

✍ Review by: H. Arnold Schmidt 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB

Asymptotic properties of the exchange en

Asymptotic properties of the exchange energy density and the exchange potential of finite systems: relevance for generalized gradient approximations

✍ E. Engel; J. A. Chevary; L. D. Macdonald; S. H. Vosko 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 970 KB

A value exchange model for the channel o

A value exchange model for the channel of distribution: Implications for management and research

✍ Richard Lee Miller; William F. Lewis; J. Paul Merenski 📂 Article 📅 1985 🏛 Sage Publications 🌐 English ⚖ 751 KB

Discussion of coupled and tripled coinci

Discussion of coupled and tripled coincidence point theorems forφ-contractive mappings without the mixedg-monotone property

✍ Erdal Karapınar,Antonio Roldán,Naseer Shahzad… 📂 Article 📅 2014 🏛 Springer International Publishing AG 🌐 English ⚖ 238 KB

Fragmentation of Fluorinated Model Compo

Fragmentation of Fluorinated Model Compounds Exposed to Oxygen Radicals: Spin Trapping ESR Experiments and Implications for the Behaviour of Proton Exchange Membranes Used in Fuel Cells

✍ M. Danilczuk; F. D. Coms; S. Schlick 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 499 KB 👁 1 views

## Abstract Low‐molecular weight model compounds (MCs) for Nafion membranes used in fuel cells were exposed at 300 K to ^·^OH radicals produced by UV irradiation of aqueous H~2~O~2~ solutions. The MCs contained fluorinated and partially fluorinated groups terminated by sulphonic or carboxylic acid