Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle
| Title: | Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle |
|---|---|
| Authors: | Skvortsov, Dmitrij |
| Source: | Studia Logica: An International Journal for Symbolic Logic. April 2012 100(1-2):361-383 |
| Database: | Springer Nature Journals |