Proof Theory for Intuitionistic Strong Löb Logic [PDF]
, 2020 Iris van der Giessen, Rosalie Iemhoff
openalex +1 more source
Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion [PDF]
, 2020 Norihiro Kamide
openalex +1 more source
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. II. [PDF]
, 1993 M. Makkai
openalex +1 more source
Bisimulations for intuitionistic temporal logics
, 2021 Philippe Balbiani +3 more
openalex +1 more source
A polynomial time complete disjunction property in intuitionistic propositional logic [PDF]
, 2013 Toshiyasu Arai
openalex +1 more source
Expressing Second-order Sentences in Intuitionistic Dependence Logic [PDF]
, 2013 Fan Yang
openalex +1 more source
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic [PDF]
, 1995 Michael Makkai
openalex +1 more source
Elliptic interval Type-2 intuitionistic fuzzy logic system for non-linear system identification
, 2023 Imo Eyoh +3 more
openalex +2 more sources
Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
, 2018 Guillaume Allais
openalex +2 more sources