Results 1 to 10 of about 939,241 (354)
Linguistics and Philosophy, 1991 Abstract This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as “dynamic predicate logic,” is intended as a first step toward a compositional, non-representational theory of discourse semantics.
J. Groenendijk, M. Stokhof
semanticscholar +6 more sources
NeuroLogic Decoding: (Un)supervised Neural Text Generation with Predicate Logic Constraints [PDF]
North American Chapter of the Association for Computational Linguistics, 2021 Conditional text generation often requires lexical constraints, i.e., which words should or shouldn’t be included in the output text. While the dominant recipe for conditional text generation has been large-scale pretrained language models that are ...
Ximing Lu +5 more
openalex +3 more sources
Coalgebraic Geometric Logic: Basic Theory [PDF]
Logical Methods in Computer Science, 2022 Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the category of ...
Nick Bezhanishvili +2 more
doaj +5 more sources
Towards a Categorical Account of Conditional Probability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper presents a categorical account of conditional probability, covering both the classical and the quantum case. Classical conditional probabilities are expressed as a certain "triangle-fill-in" condition, connecting marginal and joint ...
Robert Furber, Bart Jacobs
doaj +4 more sources
Logical Methods in Computer Science, 2017 This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching.
Grigore Rosu
doaj +3 more sources
A note on the expressive power of linear orders [PDF]
Logical Methods in Computer Science, 2011 This article shows that there exist two particular linear orders such that first-order logic with these two linear orders has the same expressive power as first-order logic with the Bit-predicate FO(Bit). As a corollary we obtain that there also exists a
Thomas Schwentick, Nicole Schweikardt
doaj +5 more sources
Predicate logic unplugged [PDF]
, 1996 this paper we describe the syntax and semantics of a description language for underspecified semantic representations. This concept is discussed in general and in particular applied to Predicate Logic and Discourse Representation Theory.
Bos, Johan
openaire +6 more sources
A Graph Calculus for Predicate Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e.
Paulo A. S. Veloso, Sheila R. M. Veloso
doaj +5 more sources
Finite-Degree Predicates and Two-Variable First-Order Logic [PDF]
, 2015 We consider two-variable first-order logic on finite words with a fixed number of quantifier alternations. We show that all languages with a neutral letter definable using the order and finite-degree predicates are also definable with the order predicate
Charles Paperman
openalex +6 more sources
Wittgensteinian Predicate Logic
Notre Dame Journal of Formal Logic, 2004 We investigate a first-order predicate logic based on Wittgenstein’s suggestion to express identity of object by identity of sign and difference of objects by difference of signs. Hintikka has shown that predicate logic can indeed be set up in such a way;
K. Wehmeier
semanticscholar +5 more sources