Results 11 to 20 of about 478 (206)
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
The Review of Symbolic Logic, 2021 AbstractThis article provides an algebraic study of the propositional system $\mathtt {InqB}$ of inquisitive logic. We also investigate the wider class of $\mathtt {DNA}$ -logics, which are negative variants of intermediate logics, and the corresponding algebraic structures, $\mathtt {DNA}$ -varieties. We prove that the lattice of $\mathtt {DNA}$ -
Nick Bezhanishvili +2 more
openaire +4 more sources
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC [PDF]
The Review of Symbolic Logic, 2021 AbstractWe present a natural standard translation of inquisitive modal logic $\mathrm{InqML}$ into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of $\mathrm{InqML}$ .
Silke Meissner, Martin Otto 0001
openaire +2 more sources
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC [PDF]
The Review of Symbolic Logic, 2021 AbstractInquisitive first-order logic,InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic.
Grilletti G, Ciardelli I
openaire +3 more sources
Coherence in inquisitive first-order logic
Annals of Pure and Applied Logic, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ivano Ciardelli, Gianluca Grilletti
openaire +1 more source
Undefinability in Inquisitive Logic with Tensor [PDF]
, 2019 Logics based on team semantics, such as inquisitive logic and dependence logic, are not closed under uniform substitution. This leads to an interesting separation between expressive power and definability: it may be that an operator O can be added to a language without a gain in expressive power, yet O is not definable in that language.
Ivano Ciardelli, Fausto Barbero
openaire +3 more sources
Epistemic extensions of substructural inquisitive logics
Journal of Logic and Computation, 2021 AbstractIn this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions based on substructural logics of declarative sentences. They generalize basic inquisitive logic which is based on the classical logic of declaratives.
Vít Puncochár, Igor Sedlár
openaire +1 more source
A Multi-type Calculus for Inquisitive Logic
CoRR, 2016 In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the logic of inquisitive semantics, a semantic framework developed by Groenendijk, Roelofsen and Ciardelli which captures both assertions and questions in natural language ...
Sabine Frittella +3 more
openaire +4 more sources
Generalized inquisitive logic [PDF]
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, 2009 This paper investigates a generalized version of inquisitive semantics (Groenendijk, 2008b; Mascarenhas, 2008). A complete axiomatization of the associated logic is established. The connection with intuitionistic logic is clarified and heavily exploited.
Ciardelli I, Roelofsen F
openaire +3 more sources
Advanced Science, EarlyView.This perspective contrasts the historical, linear progression of early AI with the dynamic, iterative nature of AI 4.0; and it describes the real‐world medical applications and the necessary evolution of laboratory infrastructure brought about by AI 4.0.
Weida Liu, Gary Peltz
wiley +1 more source
Advanced Science, EarlyView.Endothelin receptor type A (EDNRA) and the Hippo/YAP pathway form a self‐reinforcing loop that sustains triple‐negative breast cancer. EDNRA activates YAP through Gαq/11–Rho/ROCK–LATS signaling, while YAP/TEAD4 reciprocally drives EDNRA transcription.
Zehao Hong +10 more
wiley +1 more source