INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS

Article Properties
Abstract
Cite
FORNASIERE, DAMIANO, and TOMMASO MORASCHINI. “INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS”. The Journal of Symbolic Logic, 2023, pp. 1-59, https://doi.org/10.1017/jsl.2023.7.
FORNASIERE, D., & MORASCHINI, T. (2023). INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS. The Journal of Symbolic Logic, 1-59. https://doi.org/10.1017/jsl.2023.7
FORNASIERE, DAMIANO, and TOMMASO MORASCHINI. “INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS”. The Journal of Symbolic Logic, 2023, 1-59. https://doi.org/10.1017/jsl.2023.7.
FORNASIERE D, MORASCHINI T. INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS. The Journal of Symbolic Logic. 2023;:1-59.
Journal Category
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Constructive canonicity of inductive inequalities 2020
10.1093/oso/9780198537793.001.0001 1997
On completeness of intermediate predicate logics with respect to Kripke semantics 1995
Bounded distributive lattices with operators 1994
Topological Kripke models 1974