Truth-Maker Semantics for Intuitionistic Logic

Facts and Tautological Entailments

Bas C. van Fraassen · The Journal of Philosophy · 1969 · 237 citations

Humanities, Philosophy, Knowledge Representation +11

Inquisitive Semantics and Intermediate Logics.

Ivano Ciardelli · 2009 · 153 citations

Humanities, Computer Science, Mathematics +13

An intuitiomstic completeness theorem for intuitionistic predicate logic

Wim Veldman · Journal of Symbolic Logic · 1976 · 69 citations

Humanities, Mathematics, Logic +14

An intuitiomstic completeness theorem for intuitionistic predicate logic

Wim Veldman · Journal of Symbolic Logic · 1976 · 64 citations

Humanities, Mathematics, Logic +14