Generalized quantification as substructural logic

DOI10.2307/2275797zbMath0858.03051OpenAlexW2123461744MaRDI QIDQ5687328

Natasha Alechina, Michiel Marian Michiel van Lambalgen

Publication date: 17 March 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275797

zbMATH Keywords

structural rulessequent calculigeneralized quantifiersdependence relationfirst-order proof theory

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic ⋮ Interpolation for a sequent calculus of generalized quantifiers ⋮ The Craig interpolation theorem in abstract model theory ⋮ In conjunction with qualitative probability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction and arbitrary objects
• Harvey Friedman's research on the foundations of mathematics
• On the definability of the quantifier there exist uncountably many
• Henkin quantifiers and complete problems
• Quantifiers determined by partial orderings
• Characterizing Second Order Logic with First Order Quantifiers
• A correction to “stationary logic”
• Stationary logic
• Model-Theoretic Logics
• Correspondence and Completeness for Generalized Quantifiers
• The Functional Interpretation of the Existential Quantifier
• Finite Partially‐Ordered Quantifiers
• Logic with the quantifier “there exist uncountably many”

This page was built for publication: Generalized quantification as substructural logic