69 search results - page 8 / 14 » igpl 2006 |
IGPL
2000
13 years 9 months ago
2000
Abstract Neil Ghani Valeria de Paiva Eike Ritter The -calculus 1 adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implement...
IGPL
2002
13 years 9 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
IGPL
1998
13 years 9 months ago
1998
A formula A is said to have the contractionproperty in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a fo...
IGPL
1998
13 years 9 months ago
1998
One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by G¨ardenfors in [5], who defined epistemic entrenchment ...
IGPL
2007
13 years 9 months ago
2007
We would like to introduce the web tutor ORGANON, which aims to support basic logic courses at the University of West Bohemia in Pilsen (Czech Republic). The application was desig...