Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Springer, 2016
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 4
Abstract
Book Reviews: Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016, vii + 197 pages, ISBN: 978-3-319-20761-2 (Print), 978-3-319-20762-9 (Online). DOI: 10.1007/978-3-319-20762-9
Authors and Affiliations
Francesca Poggiolesi
Keywords
Related Articles
- EP ID EP202237
- DOI 10.12775/LLP.2016.019
- Views 52
- Downloads 0
Mereology and Infinity
This paper deals with the treatment of infinity and finiteness in mereology. After an overview of some first-order mereological theories, finiteness axioms are introduced along with a mereological definition of “x is fin...
Simple cut elimination proof for hybrid logic
In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced...
The Case of Dialetheism
The concept of dialetheia and the claim of dialetheism has been examined and compared to such related concept as contradiction, antinomy, consistency and paraconsistency. Dialetheia is a true contradiction and dialetheis...
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees wit...
Relational semantics for the 4-valued relevant logics BN4 and E4
The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The a...