Structural completeness and superintuitionistic inquisitive logics
From MaRDI portal
Publication:6118689
DOI10.1007/978-3-031-39784-4_12OpenAlexW4386208133MaRDI QIDQ6118689
No author found.
Publication date: 28 February 2024
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-39784-4_12
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Consequence relations and admissible rules
- A generalization of inquisitive semantics
- Structural completeness in propositional logics of dependence
- Algebraic foundations for the semantic treatment of inquisitive content
- Inquisitive dynamic epistemic logic
- Some results on intermediate constructive logics
- Inquisitive logic
- Structural completeness in fuzzy logics
- Proof of structural completeness of a certain class of implicative propositional calculi
- Structural completeness of Gödel's and Dummett's propositional calculi
- Hereditarily structurally complete superintuitionistic deductive systems
- Inquisitive propositional dynamic logic
- Inquisitive Heyting algebras
- On intermediate inquisitive and dependence logics: an algebraic study
- Questions and dependency in intuitionistic logic
- Proof-theoretic semantics and inquisitive logic
- Algebraic and topological semantics for inquisitive logic via choice-free duality
- Action models in inquisitive logic
- A Multi-type Calculus for Inquisitive Logic
- Algebras of Information States
- A propositional calculus with denumerable matrix
- Structural Completeness in Substructural Logics
- Inquisitive Semantics
- QUESTIONS IN TWO-DIMENSIONAL LOGIC
- SUBSTRUCTURAL INQUISITIVE LOGICS
This page was built for publication: Structural completeness and superintuitionistic inquisitive logics
