Results 221 to 230 of about 23,531 (249)

Proof-Theoretic Semantics and Inquisitive Logic

Journal of Philosophical Logic, 2021
Inquisitive semantics is made in order to offer a uniform approach to assertions and questions, where propositions are treated as sets of sets of possible worlds closed under subsets, naturally followed by the corresponding general inquisitive logic obtained as its generalisation. \textit{D.
openaire   +3 more sources

SUBSTRUCTURAL INQUISITIVE LOGICS

The Review of Symbolic Logic, 2019
AbstractThis paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) can be enriched with questions in the style of inquisitive semantics and logic.
openaire   +1 more source

Labelled Sequent Calculus for Inquisitive Logic

2017
A contraction-free and cut-free labelled sequent calculus \(\mathsf {GInqL}\) for inquisitive logic is established. Labels are defined by a set-theoretic syntax. The completeness of \(\mathsf {GInqL}\) is shown by the equivalence between the Hilbert-style axiomatic system and sequent system.
Jinsheng Chen, Minghui Ma
openaire   +1 more source

First-Order Inquisitive Pair Logic

2011
We introduce two different calculi for a first-order extension of inquisitive pair semantics (Groenendijk 2008): Hilbert-style calculus and Tree-sequent calculus. These are first-order generalizations of (Mascarenhas 2009) and (Sano 2009), respectively. First, we show the strong completeness of our Hilbert-style calculus via canonical models.
openaire   +1 more source

An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic

2019
Inquisitive first-order logic, InqBQ, is an extension of classi- cal first-order logic with questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. In this paper we describe an Ehrenfeucht-Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic.
Grilletti, G., Ciardelli, I.
openaire   +3 more sources

Inquisitive Dynamic Epistemic Logic in a Non-classical Setting

2020
This paper studies the operations of public announcement of statements and public utterance of questions in the context of substructutral inquisitive epistemic logic. It was shown elsewhere that the logical laws governing the modalities of knowing and entertaining from standard inquisitive epistemic logic generalize smoothly to substructural logics. In
openaire   +1 more source

Sound and Complete Tree-Sequent Calculus for Inquisitive Logic

2009
We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish that (i) our tree-sequent calculus is sound and complete with respect to Groenendijk's inquisitive semantics and that (ii) our tree-sequent calculus is decidable and enjoys cut ...
openaire   +1 more source

Structural Completeness and Superintuitionistic Inquisitive Logics

2023
Thomas Ferguson, Vít Punčochář
openaire   +1 more source

Current-driven magnetic domain-wall logic

Nature, 2020
Zhaochu Luo, Aleš Hrabec, Trong Phuong Dao   +2 more
exaly  

C–H functionalization logic in total synthesis

Chemical Society Reviews, 2011
Phil S Baran
exaly