TL;DR
A research program aimed at establishing systematic connections among the first-order correspondents of Sahlqvist/inductive formulas/inequalities across various relational semantic settings is discussed.
A modular logical framework for both reasoning with and measuring inconsistency in propositional knowledge bases that captures several existing forms of inconsistency-tolerant reasoning, including entailment based on maximal satisfiable subsets and the minimally inconsistent Logic of Paradox.
In this paper I present a novel observation on reciprocal equatives (henceforth, RE) in Mandarin: a reciprocal equative, when embedded under a necessity modal or a predicate of desire, gives rise to an unexpected, at-least-equal-to interpretation (henceforth, ≥-interpretation). I show that the meaning of a modal...
The central contribution is a fully mechanised two-sorted downward Loewenheim-Skolem theorem: the minimal embedding recovers deep validity relative to the (countable) assignment ranges, and this range-relative reading is shown to coincide with the general (Henkin-style) reading of MSO.
We study fifteen properties of binary relations that have established uses in modal logic, order and preference theory, and relation algebra. The organising question is pragmatic: once some properties of a relation are known, which further properties follow, which combinations force degeneracy, and which properties rem...
Abstract In the present paper, I propose an improvement to the semantic map of additivity by Diana Forker. Additive markers are focus-sensitive operators that trigger the presupposition that the proposition in their scope is satisfied by at least one alternative to the focused element (e.g., English also, too). In many...
It is found that while all models show sensitivity to existential presupposition across syntactic embeddings, determiner types and contextual cues, their behaviour differs markedly in strength and systematicity, with NLI-fine-tuned autoregressive models exhibiting the most coherent and stable projection patterns.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
