Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
713 3 |
Ultima descărcare din IBN: 2022-10-27 02:00 |
Căutarea după subiecte similare conform CZU |
510.6 (18) |
Математическая логика (18) |
SM ISO690:2012 CIARDELLI, Ivano. Propositional inquisitive logic: a survey. In: Computer Science Journal of Moldova, 2016, nr. 3(72), pp. 295-311. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | |||||||
Numărul 3(72) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330 | |||||||
|
|||||||
CZU: 510.6 | |||||||
Pag. 295-311 | |||||||
|
|||||||
Descarcă PDF | |||||||
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 |
|||||||
|