Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics

Article Properties
Cite
Yang, Eunsuk. “Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics”. Studia Logica, 2023, https://doi.org/10.1007/s11225-023-10069-y.
Yang, E. (2023). Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics. Studia Logica. https://doi.org/10.1007/s11225-023-10069-y
Yang, Eunsuk. “Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics”. Studia Logica, 2023. https://doi.org/10.1007/s11225-023-10069-y.
Yang E. Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics. Studia Logica. 2023;.
Refrences
Title Journal Journal Categories Citations Publication Date
A semantic hierarchy for intuitionistic logic Indagationes Mathematicae
  • Science: Mathematics
15 2019
10.1017/S1755020319000017 2019
10.1090/S0002-9947-2012-05573-5 2013
10.1017/S1755020313000099 2013
Cover semantics for quantified lax logic Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
13 2011