A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
This paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms and the Split Property. A suitable rule for the Split Property is obtained...
Збережено в:
| Автор: | |
|---|---|
| Формат: | Artigo |
| Мова: | Inglês |
| Опубліковано: |
Lodz University Press
2026-04-01
|
| Серія: | Bulletin of the Section of Logic |
| Предмети: | |
| Онлайн доступ: | https://czasopisma.uni.lodz.pl/bulletin/article/view/25982 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|