Interpolation for a sequent calculus of generalized quantifiers

DOI10.1007/3-540-61208-4_3zbMath1415.03043OpenAlexW1586947108MaRDI QIDQ4645224

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

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

Cites Work

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

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