We study instantiated abstract argumentation frames of the form (S ,R, I), where (S ,R) is an abstract argumentation frame and where the arguments x of S are instantiated by I(x) as well formed formulas of a well known logic, for example as Boolean formulas or as predicate logic formulas or as modal logic formulas. We use the method of conceptual analysis to derive the properties of our propose...

The object of consequence-finding is to deduce l o g i c a l consequences from a set of axioms. The theory of J.R. S lag le ' s semantic reso lu t ion p r i n c i p l e , an inference ru l e fo r f i r s t o r d e r pred icate ca l cu lus , is extended to consequence-f inding. Given an i n t e r p r e t a t i o n I , i t is proved that any prime ( n o n t r i v i a l ) consequence, which is fa ...

Standard Discourse Representation Theory (DRT) was designed mainly to explain the so-called donkey-sentences. The pronouns plaYing such a prominent role in all these sentences belong, however, exclusively to one (partlculaPly simple) type of pronoun. We try to extend DRT in order to cover an equally Important type of pronoun, the so-called etdes0rIptlonal,* pronoun. Discourse referents ape now ...

The effect of edge on wetting and layering transitions of a three-dimensional spin-1/2 Ising model is investigated, in the presence of longitudinal and surface magnetic fields, using mean field theory and Monte Carlo simulations. For T=0, the ground state phase diagram shows that there exist only three allowed transitions, namely, surface and bulk transition, surface transition, and bulk transi...

The K-shell X-ray absorpt ion spectrum of a Cd s i n g l e c r y s t a l has been measured a t temperatures from 4 t o 300K with the c rys t21 i n two or ien ta t ions one optimizing EXAFS from the f i r s t Cd d i s tance (R1 = 2.97A), t h e o t h e r optimizing EXAFS from the second Cd dis tance (R2 = 3.291). Clear evidence is obtained f o r R2 although i ts v i s i b i l i t y var ies g r e ...

1.1. Motivation. The aim of this paper is to develop a rigid-analytic theory of relative ampleness for line bundles, and to record some applications to rigid-analytic faithfully flat descent for morphisms and for proper geometric objects equipped with a relatively ample line bundle. (For coherent sheaves on rigid spaces, the theory of faithfully flat descent is established in [BG] via Raynaud’s...

That i s just the practice, however. The problem has always b een how i t works in theory, and how i t does so without w reaking havoc upon a fairly successful way of understanding the world. There i s an idea that a l l other sciences rest on, and are ul timately expla ined in terms of, fundamental phys ics . Emergentism is at odds with this because i t tell s us th at th e bottom level isn’t ...