Articolul precedent |
Articolul urmator |
![]() |
![]() ![]() |
Ultima descărcare din IBN: 2022-06-06 21:12 |
![]() CIARDELLI, Ivano. Propositional inquisitive logic: a survey. In: Conference on Mathematical Foundations of Informatics, Ed. 2016, 25-30 iulie 2016, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2016, pp. 4-20. ISBN 978‐9975‐4237‐4‐8. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Conference on Mathematical Foundations of Informatics 2016 | ||||||
Conferința "Conference on Mathematical Foundations of Informatics" 2016, Chișinău, Moldova, 25-30 iulie 2016 | ||||||
|
||||||
Pag. 4-20 | ||||||
|
||||||
![]() |
||||||
Rezumat | ||||||
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. |
||||||
Cuvinte-cheie questions, dependency, inquisitive logic, intermediate logics, proofs-as-programs |
||||||
|