Kapak Resmi

Inquisitive Logic Consequence and Inference in the Realm of Questions

Diğer sürümleri göster (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...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Yazar: Ciardelli, Ivano (auth)
Materyal Türü: Elektronik Kitap Bölümü
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham Springer Nature 2022
Seri Bilgileri:Trends in Logic 60
Konular:
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 Erişim:OAPEN Library: download the publication
OAPEN Library: description of the publication
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Internet

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

Detaylı Erişim Bilgileri 3rd Floor Main Library
Yer Numarası: A1234.567
Kopya Bilgisi 1 Kütüphanede

Benzer Materyaller