13 search results - page 2 / 3 » igpl 2007 |
108
click to vote
IGPL
2007
15 years 10 days ago
2007
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...
93
Voted
IGPL
2007
15 years 10 days ago
2007
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...
84
Voted
IGPL
2007
15 years 10 days ago
2007
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...
124
Voted
IGPL
2007
15 years 10 days ago
2007
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...
109
click to vote
IGPL
2007
15 years 10 days ago
2007
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...