Results 11 to 20 of about 939,241 (354)

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

Predicate logic with anaphora

Semantics and Linguistic Theory, 1994
In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without fid­dling with orthodox notions of scope and binding.
P. Dekker
semanticscholar   +6 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

Sequence semantics for dynamic predicate logic [PDF]

Journal of Logic, Language and Information, 1993
C. F. M. Vermeulen
openalex   +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

Epstein's The Semantic Foundations of Logic vol. I, Propositional Logics vol. II, Predicate Logic

Informal Logic, 1999
Douglas Walton
doaj   +3 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

IMPLICITINĖ PREDIKATO KVANTIFIKACIJA IR PORT ROYALIO LOGIKA

Problemos, 2004
Straipsnyje analizuojama logikos istorikų Jill Vance Buroker, Sylvaino Auroux ir Jeano-Claude’o Pariente’o pozicija, kad tradicinės logikos pradininkų – Antoine’o Arnauld ir Pierre’o Nicole’io – pažiūrose į kategorinio sakinio semantiką galima įžvelgti ...
Laisvūnas Šopauskas
doaj   +20 more sources

Term Logic

Axioms, 2020
The predominant form of logic before Frege, the logic of terms has been largely neglected since. Terms may be singular, empty or plural in their denotation.
Peter Simons
doaj   +1 more source