Results 41 to 50 of about 88,869 (296)
A Type-Directed Negation Elimination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations ...
Etienne Lozes
doaj +1 more source
Games of Partial Information and Predicates of Personal Taste [PDF]
, 2016 A predicate of personal taste occurring in a sentence in which the perspectival information is not linguistically articulated by an experiencer phrase may have two different readings.
Hîncu, Mihai
core +1 more source
A Sociological Investigation of the Social Deprivation of Zabol's Rural Girls and Its Related Factors [PDF]
Taḥqīqāt-i Farhangī-i Īrān, 2018 Social deprivation is a fact that some people are so much more exposed than others. But among them, demographic groups of single girls in rural areas are those who are severely affected by social Deprivation.
M. Farahmand, F. Foruzandeh
doaj +1 more source
Support Vector Machine: Analisis Sentimen Aplikasi Saham di Google Play Store
Jurnal Sistem Informasi, 2021 The best application predicate has been awarded to the application that has the highest downloads and high star rating on Google Play Store. In rating an application, user comments need to be considered because many stock investment apps have almost the ...
Sri Lestari, Sudin Saepudin
doaj +1 more source
Jurnal Dinamika Manajemen, 2016 PT Maktour got a predicate from the Ministry of Religous Affairs as the best special hajj and umrah organizer and was ranked as the Top Brand Index category travel agency in 2014.
Muhammad Muhammad, Yessy Artanti
doaj +1 more source
The Church Synthesis Problem with Parameters [PDF]
Logical Methods in Computer Science, 2007 For a two-variable formula ψ(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y=F(X) such that ψ(X,F(X)) is universally valid over Nat.
Alexander Rabinovich
doaj +1 more source
Functional Projections and Event Structure
Kansas Working Papers in Linguistics, 1997 The variable behavior verbs in unaccusative/unergative alternation in Dutch, Italian, and Hebrew led Borer(1993) to deny the "lexical-entrydriven approach.
Khym, Hangyoo, Kookiattikoon, Supath
doaj +1 more source
Predicate Logic with Sequence Variables and Sequence Function Symbols [PDF]
, 2004 We extend first-order logic with sequence variables and sequence functions. We describe syntax, semantics and inference system for the extension, define an inductive theory with sequence variables and formulate induction rules. The calculus forms a basis for the top-down systematic theory exploration paradigm.
Temur Kutsia, Bruno Buchberger
openaire +1 more source
Iterated reflection principles over full disquotational truth [PDF]
, 2017 Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth.
Fischer, Martin +2 more
core +3 more sources
On n-dependent groups and fields II
Forum of Mathematics, Sigma, 2021 We continue the study of n-dependent groups, fields and related structures, largely motivated by the conjecture that every n-dependent field is dependent.
Artem Chernikov, Nadja Hempel
doaj +1 more source