Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Propositional inquisitive logic: a survey
Authors: Ivano Ciardelli
Keywords: questions, inquisitive logic, dependency, intermediate logics, proofs-as-programs.
– 0.13 Mb
Keywords: questions, inquisitive logic, dependency, intermediate logics, proofs-as-programs.
Abstract
This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs.ILLC, University of Amsterdam
E-mail:
E-mail:
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License
Fulltext
– 0.13 Mb
Contents
- Propositional inquisitive logic: a survey
- "The absence of the difference from a pot is potness" - Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Nyāya
- About Applications of Distances on Monoids of Strings
- Insertion Modeling and Its Applications
- Proving Properties of Programs on Hierarchical Nominative Data
- Natural Language Processing versus Logic. Pros and cons on the dispute whether logic is useful in the computational interpretation of language
- Executable choreographies applied in OPERANDO
