A Note on a Subsystem Of Intuitionistic Logic with Constant Domains (Q3787971)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Note on a Subsystem Of Intuitionistic Logic with Constant Domains |
scientific article |
Statements
A Note on a Subsystem Of Intuitionistic Logic with Constant Domains (English)
0 references
1987
0 references
intermediate propositional logic
0 references
intermediate predicate logic
0 references
Kripke- incomplete
0 references