Pages that link to "Item:Q6067097"
From MaRDI portal
The following pages link to An ecumenical notion of entailment (Q6067097):
Displaying 5 items.
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
- Towards logical foundations for probabilistic computation (Q6560995) (← links)
- Intuitionistic modal algebras (Q6562368) (← links)
- Combining first-order classical and intuitionistic logic (Q6659896) (← links)
- Another combination of classical and intuitionistic conditionals (Q6659907) (← links)
