Results 221 to 226 of about 5,025 (226)
Some of the next articles are maybe not open access.
Complexity of intuitionistic propositional logic and its fragments
Journal of Applied Non-Classical Logics, 2008Mikhail Rybakov
exaly
A semantic hierarchy for intuitionistic logic
Indagationes Mathematicae, 2019Guram Bezhanishvili, Wesley H Holliday
exaly
A criterion for admissibility of rules in the model system S4 and the intuitionistic logic
Algebra and Logic, 1984V V Rybakov, Rybakov V V
exaly
Embedding Classical Logic in Intuitionistic Logic
Mathematical Logic Quarterly, 1973openaire +2 more sources