Results 1 to 10 of about 106,571 (322)
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
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]
, 1995 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
core +5 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
Coherence in Linear Predicate Logic
Annals of Pure and Applied Logic, 2007 Coherence with respect to Kelly-Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propositions of classical linear first-order predicate logic without or with mix. To obtain this result, coherence is first established for categories that correspond to the multiplicative conjunction-disjunction ...
Kosta Došen, Zoran Petrić
openalex +4 more sources
Finite predicate-driven logic networks method for enhanced education data analysis
Радіоелектронні і комп'ютерні системиThe subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj +2 more sources
The Logic of Khārijī Propositions [PDF]
حکمت سینوی, 2023 There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj +1 more source
Expressive Logics for Coinductive Predicates [PDF]
Logical Methods in Computer Science, 2021 The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic. In this paper we study this type of result in a general context, moving from transition systems to coalgebras and from bisimilarity to coinductive predicates.
Kupke, Clemens, Rot, Jurriaan
openaire +12 more sources
An Arithmetically Complete Predicate Modal Logic
Bulletin of the Section of Logic, 2021 This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ...
Yunge Hao, George Tourlakis
doaj +1 more source
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.
Stokhof, M.J.B., Groenendijk, J.A.G.
openaire +5 more sources