𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A finite model property for RMImin

✍ Scribed by Ai-ni Hsieh; James G. Raftery

Publisher
John Wiley and Sons
Year
2006
Tongue
English
Weight
192 KB
Volume
52
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI~min~ has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI~min~ is decidable. (Β© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

πŸ“œ SIMILAR VOLUMES

A FINITE ELEMENT MODEL FOR ACOUSTIC RADI
A FINITE ELEMENT MODEL FOR ACOUSTIC RADIATION
✍ S.-W. Wu; S.-H. Lian; L.-H. Hsu πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 177 KB

In this article, an extension of the finite element technique to the analysis of the acoustic radiation is presented. In the proposed approach, the acoustic domain is split into two parts by an arbitrary artificial boundary enclosing the radiating surface. Then the unbounded medium is discretized wi

Discrete compactness property for quadri
Discrete compactness property for quadrilateral finite element spaces
✍ Francesca Gardini πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 172 KB

## Abstract The main purpose of the present article is to prove the discrete compactness property for Arnold‐Boffi‐Falk spaces of any order. Results of numerical experiments confirming the theory are also reported. Β© 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005

A simple model for finitely extensible p
A simple model for finitely extensible polymers
✍ Wilfried Carl πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 350 KB

## Abstract A simple model for the calculation of configurational and rheological properties of finitely extensible polymers in flow is introduced. The finite extensibility of the chain is incorporated into the common Rouse model by varying the spring constant such that a constant contour length is