Results 1 to 10 of about 7,233 (199)
The Effect of Negative Polarity Items on Inference Verification. [PDF]
J Semant, 2008 The scalar approach to negative polarity item (NPI) licensing assumes that NPIs are allowable in contexts in which the introduction of the NPI leads to proposition strengthening (e.g., Kadmon & Landman 1993, Krifka 1995, Lahiri 1997 ...
Szabolcsi A, Bott L, McElree B.
europepmc +3 more sources
Logic Meets Algebra: the Case of Regular Languages [PDF]
, 2007 The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Buchi, regular languages have been classified according to their descriptive complexity, i.e.
Denis Thérien +2 more
core +2 more sources
, 2019 Flow networks have attracted a lot of research in computer science. Indeed, many questions in numerous application areas can be reduced to questions about flow networks.
Kupferman, Orna, Vardi, Gal
core +2 more sources
, 2017 In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of ...
Bacon, Andrew
core +1 more source
Invariance and Logicality in Perspective [PDF]
, 2021 Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on
Sher, Gila
core
A Formal Semantics for Editing and Generating Plurals [PDF]
, 2000 We present a formal semantics for an object-oriented formalism which allows for the representation of plural objects (such as 'Three N', Most of the N', 'Some N', . . .).
Piwek, Paul
core +6 more sources
Coherence in Modal Logic [PDF]
, 2018 A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform deductive ...
Kowalski, Tomasz, Metcalfe, George
core +1 more source
Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic [PDF]
, 2018 In this paper we analyze k-ary inclusion-exclusion logic, INEX[k], which is obtained by extending first order logic with k-ary inclusion and exclusion atoms.
Rönnholm, Raine
core +2 more sources
Actuality and the a priori [PDF]
, 2018 We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair
Lampert, Fabio
core
A Logical Method for Policy Enforcement over Evolving Audit Logs [PDF]
, 2011 We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Privacy Rule. The logic has three features that raise challenges for enforcement -
Datta, Anupam, Garg, Deepak, Jia, Limin
core +2 more sources