ML-1995-05: Alechina, Natasha and van Lambalgen, Michiel (1995) Generalized Quantification as Substructural Logic. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1995-05.text.ps.gz Download (163kB) |
|
Text (Abstract)
ML-1995-05.abstract.txt Download (957B) |
Abstract
We show how sequent calculi for some generalized quantifiers can be
obtained by generalizing the Herbrand approach to ordinary first order
proof theory. Typical of the Herbrand approach, as compared to plain se
quent calculus, is increased control over relations of dependence between
variables. In the case of generalized quantifiers, explicit attention to re
lations of dependence becomes indispensible for setting up proof systems.
It is shown that this can be done by turning variables into structured
objects, governed by various types of structural rules. These structured
variables are interpreted semantically by means of a dependence relation.
This relation is an analogue of the accessibility relation in modal logic. We
then isolate a class of axioms for generalized quantifiers which correspond
to firstorder conditions on the dependence relation.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1995-05 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1995 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1364 |
Actions (login required)
 |
View Item |
