Inquisitive Logic Consequence and Inference in the Realm of Questions

• Главный автор: Ciardelli, Ivano (auth)
• Формат: Электронный ресурс Глава книги
• Язык: английский
• Опубликовано: Cham Springer Nature 2022
• Серии: Trends in Logic 60
• Предметы: Philosophy: logic; Mathematical foundations; Logic of Questions; Inquisitive Logic; Information Semantics; Logic of Dependency; Dependence Logic; Intuitionistic Logic; Proofs-as-Programs; Information Types; role of questions in logic; Questions in propositional logic; reasoning with questions; Questions in first-order logic; Questions in modal logic; Connections with intuitionistic logic; Connections with dependence logic; how classical logic can be made inquisitive; connection inquisitive, intuitionistic, dependence logic
• Online-ссылка: OAPEN Library: download the publication; OAPEN Library: description of the publication