Bounded inquisitive logics: sequent calculi and schematic validity
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3841822 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 6307933 (Why is no real title available?)
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A Multi-type Calculus for Inquisitive Logic
- A logic stronger than intuitionism
- A study of intermediate predicate logics
- Axiomatizing propositional dependence logics
- Coherence in inquisitive first-order logic
- Completeness for the classical antecedent fragment of inquisitive first-order logic
- Constructivism in mathematics. An introduction. Volume I
- Dependency as question entailment
- First-order inquisitive pair logic
- From IF to BI. A tale of dependence and separation
- Inquisitive Logic
- Inquisitive logic
- Intermediate predicate logics determined by ordinals
- Labelled sequent calculus for inquisitive logic
- Lectures on the Curry-Howard isomorphism
- Proof analysis in intermediate logics
- Proof analysis in modal logic
- Quantification in nonclassical logic. Volume I.
- Questions as information types
- Structural proof theory. With an appendix by Aarne Ranta
- The duality of computation
- The locally nameless representation
- Variations on the Kripke trick
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)
