Interpolation for a sequent calculus of generalized quantifiers

DOI10.1007/3-540-61208-4_3MaRDI QIDQ4645224zbMATH OpenOpenAlexFDO

Authors Natasha Alechina

Publication date 10 January 2019

Published in Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61208-4_3

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Logic with extra quantifiers and operators (03C80)

Recommendations

• On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
• On general properties of intermediate quantifiers
• scientific article; zbMATH DE number 3910377
• Definability hierarchies of generalized quantifiers
• scientific article; zbMATH DE number 2149377

Cites work

• Generalized quantification as substructural logic
• Natural deduction and arbitrary objects
• On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic

Cited in

(4)

• On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
• Uniform interpolation via nested sequents
• Interpolation theorem of Hao Wang's partial predicate calculus
• scientific article; zbMATH DE number 1507229 (Why is no real title available?)

This page was built for publication: Interpolation for a sequent calculus of generalized quantifiers

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