Studia Logica 61 (1):101-121 (1998)
|Abstract||We provide tools for a concise axiomatization of a broad class of quantifiers in many-valued logic, so-called distribution quantifiers. Although sound and complete axiomatizations for such quantifiers exist, their size renders them virtually useless for practical purposes. We show that for quantifiers based on finite distributive lattices compact axiomatizations can be obtained schematically. This is achieved by providing a link between skolemized signed formulas and filters/ideals in Boolean set lattices. Then lattice theoretic tools such as Birkhoff's representation theorem for finite distributive lattices are used to derive tableau-style axiomatizations of distribution quantifiers.|
|Keywords||many-valued logic infinitely-valued logic distribution quantifiers distributive lattices semantic tableaux sequent calculi|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Andreas Baudisch (1984). Magidor-Malitz Quantifiers in Modules. Journal of Symbolic Logic 49 (1):1-8.
Lauri Hella, Jouko Väänänen & Dag Westerståhl (1997). Definability of Polyadic Lifts of Generalized Quantifiers. Journal of Logic, Language and Information 6 (3):305-335.
Jouko Väänänen (1997). Unary Quantifiers on Finite Models. Journal of Logic, Language and Information 6 (3):275-304.
Johan van Benthem & Dag Westerståhl (1995). Directions in Generalized Quantifier Theory. Studia Logica 55 (3):389-419.
Alon Altman, Ya'Acov Peterzil & Yoad Winter (2005). Scope Dominance with Upward Monotone Quantifiers. Journal of Logic, Language and Information 14 (4):445-455.
Jouko Väänänen & Dag Westerståhl (2002). On the Expressive Power of Monotone Natural Language Quantifiers Over Finite Models. Journal of Philosophical Logic 31 (4):327-358.
Georg Gottlob (1997). Relativized Logspace and Generalized Quantifiers Over Finite Ordered Structures. Journal of Symbolic Logic 62 (2):545-574.
Dag Westerståhl (1996). Self-Commuting Quantifiers. Journal of Symbolic Logic 61 (1):212-224.
Bruce I. Rose (1978). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 43 (1):92-112.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?