Results 21 to 30 of about 939,241 (354)
Neutrosophic Modal Logic [PDF]
Neutrosophic Sets and Systems, 2017 We introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic and of neutrosophic propositional logic.
Florentin Smarandache
doaj +1 more source
Recursive enumerability and elementary frame definability in predicate modal logic [PDF]
Journal of Logic and Computation, 2019 We investigate the relationship between recursive enumerability and elementary frame definability in first-order predicate modal logic. On one hand, it is well known that every first-order predicate modal logic complete with respect to an elementary ...
M. Rybakov, D. Shkatov
semanticscholar +1 more source
The validity degree vectors of formulae in two-valued predicate logic [PDF]
International Journal of Computational Intelligence Systems, 2015 By means of infinite product of uniformly distributed probability spaces of cardinal , the concept of -validity degrees and validity degree vectors of formulae in two-valued predicate logic are introduced. It is proved that the validity degree vectors of
Xiaoyan Qin, Yang Xu, Yi Liu
doaj +1 more source
Predicate Abstraction via Symbolic Decision Procedures [PDF]
Logical Methods in Computer Science, 2007 We present a new approach for performing predicate abstraction based on symbolic decision procedures. Intuitively, a symbolic decision procedure for a theory takes a set of predicates in the theory and symbolically executes a decision procedure on all ...
Shuvendu K. Lahiri +2 more
doaj +1 more source
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 [PDF]
Theory and Practice of Logic Programming, 2013 This paper provides a gentle introduction to problem-solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first-order logic enriched with types, inductive definitions, aggregates and partial functions.
M. Bruynooghe +9 more
semanticscholar +1 more source
Spatial logics with connectedness predicates [PDF]
Logical Methods in Computer Science, 2010 We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedness of regions and restrict the number of their connected components. We investigate the computational complexity of these logics and show that the connectedness constraints ...
Kontchakov, Roman +3 more
openaire +5 more sources
Muslim Logicians on Quantification of Predicate vs. Hamilton’s View [PDF]
حکمت و فلسفه, 2018 According to Muslim logicians, the quantifier, in categorical logic, shows the quantity of the individuals of the subject in a statement; so its place is before the subject.
Seyyed Mohammad Ali Hodjati
doaj +1 more source
Does Neuroticism Disrupt the Psychological Benefits of Nostalgia? A Meta‐analytic Test
European Journal of Personality, EarlyView., 2020 Abstract Nostalgia, a sentimental longing or wistful affection for the past, confers self‐oriented, existential, and social benefits. We examined whether nostalgic engagement is less beneficial for individuals who are high in neuroticism (i.e. emotionally unstable and prone to negative affect).
Julius Frankenbach +4 more
wiley +1 more source
Decidability of Intelligent Systems [PDF]
حکمت و فلسفه, 2008 Intelligent systems are designed on the model of the operation of mind; but they come across, at least, the following problems: (a) Can IS solve every problem?
mohammad ali hijjati +1 more
doaj +1 more source
Bisimulations and predicate logic [PDF]
Journal of Symbolic Logic, 1994 AbstractElementary (first-order) and nonelementary (set-theoretic) aspects of the largest bisimulation are considered with a view toward analyzing operational semantics from the perspective of predicate logic. The notion of a bisimulation is employed in two distinct ways: (i) as an extensional notion of equivalence on programs (or processes ...
openaire +2 more sources