The following pages link to (Q5692811):
Displaying 6 items.
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic (Q475340) (← links)
- 2-cnfs and logical embeddings (Q1035838) (← links)
- An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic (Q2751814) (← links)
- The model checking problem for propositional intuitionistic logic with one variable is AC 1 -complete (Q3113702) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)
- Embedding first order predicate logic in fragments of intuitionistic logic (Q4133591) (← links)
