Results 41 to 50 of about 862,810 (224)
Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions [PDF]
, 2020 Daniel Rogozin
openalex +1 more source
A deduction system for the full first-order predicate logic. [PDF]
, 1976 Hubert H. Schneider
openalex +1 more source
The Effects of Adding Reachability Predicates in Propositional Separation Logic [PDF]
, 2018 Stéphane Demri +2 more
openalex +1 more source
An algebraic analysis of similarity in monadic monoidal t-norm based predicate logic [PDF]
, 2022 Jun Tao Wang, Xuesong Fu, Mengna Kang
openalex +1 more source
Foundations of Computing and Decision Sciences, 2019 This essay’s content is rendered by the titles of the successive sections. 1. Effective solvability versus intuitive solvability. — 2. Decidability, i.e. effective solvability, in predicate logic. The speedup phenomenon — 3.
Marciszewski Witold
doaj +1 more source
Czy Parmenides był ewentystą? (WAS PARMENIDES AN EVENTIST?) [PDF]
Analiza i Egzystencja, 2005 The aim of the article is to present the main theses of Parmenides in a formalized language including 3-argument predicate D as a primitive term. Term D is interpreted as a ternary relation of action between events.
Leon Koj, Dorota Leszczyńska
doaj
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog [PDF]
, 2019 Shqiponja Ahmetaj +2 more
openalex +1 more source
Metaphysical Modality, Modality of Predicate and the Theory of
Metaphysics, 2010 Aristotle in the Organon (1949: 9,30 a ,15-19) explicitly states that in a categorical syllogism when the minor premise is absolute (without modality operator) and the major is necessary, the conclusion will be necessary too.
l nabavi
doaj
Predicting protein functions by applying predicate logic to biomedical literature. [PDF]
BMC Bioinformatics, 2019 Taha K, Iraqi Y, Al Aamri A.
europepmc +1 more source