Generalized quantification as substructural logic

DOI10.2307/2275797MaRDI QIDQ5687328zbMATH OpenOpenAlexFDO

Authors Natasha Alechina, 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

dependence relationfirst-order proof theorygeneralized quantifierssequent calculistructural rules

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1453079
• Generalized quantifiers in dependence logic
• Generalized quantifiers and modal logic
• Generalized Quantifiers and Logical Reducibilities
• scientific article; zbMATH DE number 3946094
• scientific article; zbMATH DE number 5257967
• A note on logicality of generalized quantifiers
• Generalized quantifiers, and beyond
• scientific article; zbMATH DE number 5295712
• Generalized quantifiers and first-order logic. II

Cites work

• A correction to “stationary logic”
• Characterizing Second Order Logic with First Order Quantifiers
• Correspondence and Completeness for Generalized Quantifiers
• Finite Partially‐Ordered Quantifiers
• Harvey Friedman's research on the foundations of mathematics
• Henkin quantifiers and complete problems
• scientific article; zbMATH DE number 1975400 (Why is no real title available?)
• scientific article; zbMATH DE number 3226832 (Why is no real title available?)
• scientific article; zbMATH DE number 3027246 (Why is no real title available?)
• Logic with the quantifier “there exist uncountably many”
• Model-Theoretic Logics
• Natural deduction and arbitrary objects
• On the definability of the quantifier there exist uncountably many
• Quantifiers determined by partial orderings
• Stationary logic
• The Functional Interpretation of the Existential Quantifier

Cited in

(8)

• The Craig interpolation theorem in abstract model theory
• In conjunction with qualitative probability
• On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
• Generalized quantifiers in dependence logic
• Generalized approximation of substructures in quantales by soft relations
• Interpolation for a sequent calculus of generalized quantifiers
• Quantales and structural rules
• Correspondence and Completeness for Generalized Quantifiers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5687328)