Results 141 to 150 of about 4,636,755 (203)

The Monotonous Elimination of Predicate Variables

Journal of Logic and Computation, 1994
The author describes an algorithm which, given a sentence \(\Gamma\) involving universally quantified predicate variables, first reduces this sentence to a normal form \(\Gamma^*\) and then, if \(\Gamma^*\) satisfies certain extra restrictions, eliminates the predicate variables of \(\Gamma^*\) to produce a predicate-free equivalent of \(\Gamma\).
openaire   +2 more sources

Decidability of Predicate Logics with Team Semantics

International Symposium on Mathematical Foundations of Computer Science, 2014
We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete.
J. Kontinen, Antti Kuusisto, Jonni Virtema   +2 more
semanticscholar   +1 more source

Elementary particles, hidden variables, and hidden predicates

Synthese, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable

Symposium on Theoretical Aspects of Computer Science, 2012
We consider the quantifier alternation hierarchy within two-variable first-order logic FO^2[
Manfred Kufleitner, Alexander Lauser
semanticscholar   +1 more source

Sketches: Fast Membership Scans for Continuous Variable Predicate Workloads

2020 IEEE International Conference on Big Data (Big Data), 2020
We consider workloads reducible to membership checks against predicates over continuous variables, for which a scan is required. We explore trading-off storage of re-usable components to avoid repeated computation for each entry of a full scan. Our method renders effective the storage of reusable results in smaller faster memory.
openaire   +2 more sources

One Approach to synthesizing predicate circuits on the basis of generalized variables

Moscow University Computational Mathematics and Cybernetics, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Temporal variability of dissolved P speciation in a eutrophic reservoir—implications for predicating algal growth

Water Research, 2003
La Trobe University Faculty of Science, Technology and Engineering Murray Darling Freshwater Research CentreMDFRC item.Weak-anion exchange chromatography was used to explore the temporal variability in the speciation of dissolved P in the surface layer of a eutrophic reservoir.
Baldwin, D. S., Whittington, J., Oliver, R.   +2 more
openaire   +3 more sources

IV. SUBJECT-PREDICATE SYMMETRY: EXPLAINING VARIABLES AWAY

, 1973
John Heintz
openalex   +2 more sources

Subject and Predicate in Logic and Grammar

, 1976
Contents: Preface Introduction Part I The subject in logic: The 'basic combination': Some formal differences Spatio-temporal particulars and general concepts Propositional combination: a tripartition of function Formal differences explained for the basic
G. Harman, P. Strawson
semanticscholar   +1 more source

Elementary categorial logic, predicates of variable degree, and theory of quantity

Journal of Philosophical Logic, 1989
The basic categorial structure of classical predicate logic is given by the distinction of predicates (of a fixed arity or type) and individuals. The author first discusses much more general systems of categorial structures which analogously can be basic for logical systems with a metatheory quite similar to the ``usual'' one.
openaire   +2 more sources