Bounded inquisitive logics: sequent calculi and schematic validity

DOI10.1007/978-3-032-06085-3_3MaRDI QIDQ6860396zbMATH OpenFDO

Authors Tadeusz Litak, Katsuhiko Sano

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

cut eliminationinquisitive logicsuperintuitionistic predicate logicsschematic validitylabelled sequent calculifinite boundednessconstant domains

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Bounded inquisitive logics: sequent calculi and schematic validity

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