Sciweavers

IGPL
2007
45views more  IGPL 2007»
13 years 7 months ago
On Positive Relational Calculi
We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasize...
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R...
IGPL
2007
75views more  IGPL 2007»
13 years 7 months ago
Fibring in the Leibniz Hierarchy
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...
Víctor L. Fernández, Marcelo E. Coni...
IGPL
2007
74views more  IGPL 2007»
13 years 7 months ago
The Rules of Logic Composition for the Bayesian Epistemic e-Values
In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj
Wagner Borges, Julio Michael Stern
IGPL
2007
125views more  IGPL 2007»
13 years 7 months ago
Morph Moulder: Teaching Software for HPSG and Description Logics
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
Ekaterina Ovchinnikova, Frank Richter
IGPL
2007
107views more  IGPL 2007»
13 years 7 months ago
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
Marcelo Finger, Dov M. Gabbay
IGPL
2007
149views more  IGPL 2007»
13 years 7 months ago
Logical and Philosophical Remarks on Quasi-Set Theory
Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theo...
Newton C. A. da Costa, Décio Krause
IGPL
2007
75views more  IGPL 2007»
13 years 7 months ago
Logic for Mathematical Writing
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...
Edmund Harriss, Wilfrid Hodges
IGPL
2007
113views more  IGPL 2007»
13 years 7 months ago
Pandora: A Reasoning Toolbox using Natural Deduction Style
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’...
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Ale...
IGPL
2007
73views more  IGPL 2007»
13 years 7 months ago
Fibred and Indexed Categories for Abstract Model Theory
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
IGPL
2007
100views more  IGPL 2007»
13 years 7 months ago
ORGANON - The Web Tutor for Basic Logic Courses
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...
Ludmila Dostálová, Jaroslav Lang