Azala

Inquisitive Logic Consequence and Inference in the Realm of Questions

Erakutsi beste bertsioak (2)

This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as fa...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Ciardelli, Ivano (auth)
Formatua: Baliabide elektronikoa Liburu kapitulua
Hizkuntza:ingelesa
Argitaratua: Cham Springer Nature 2022
Saila:Trends in Logic 60
Gaiak:
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
Sarrera elektronikoa:OAPEN Library: download the publication
OAPEN Library: description of the publication
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Antzeko izenburuak