What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? (Q6160742)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7691322
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? |
scientific article; zbMATH DE number 7691322 |
Statements
What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? (English)
0 references
2 June 2023
0 references
Kripke semantics
0 references
propositional connective
0 references
intuitionistic predicate logic
0 references
the logic of constant domains
0 references
0 references
0.8095462918281555
0 references
0.764316737651825
0 references
0.757699728012085
0 references
