Results 141 to 150 of about 970 (166)
Some of the next articles are maybe not open access.
Predication, Equality, and Ritual Cannibalism
2022The playful collapse of authority without tension is both an image for a model democracy and for thinking qua thinking. Thinking beheads itself and submits to its own authority; in doing so, it sprouts a new head. Its activity is constituted by reflection that intellectually consumes and regurgitates.
openaire +1 more source
On Equality Predicates in Algebraic Specification Languages
2007The execution of OBJ algebraic specification languages is based on the term rewriting system (TRS), which is an efficient theory to perform equational reasoning. We focus on the equality predicate implemented in OBJ languages. The equality predicate is used to test the equality of given terms by TRS.
Masaki Nakamura 0001, Kokichi Futatsugi
openaire +1 more source
The closure operator with the equality predicate branching on the set of partial Boolean functions
Discrete Mathematics and Applications, 2008S S Marchenkov
exaly +2 more sources
The question of definability in the simple predicate calculus on a finite model without equality
Cybernetics and Systems Analysis, 1974exaly +2 more sources
Real-valued models with metric equality and uniformly continuous predicates
Journal of Symbolic Logic, 1982AbstractTwo real-valued deduction schemes are introduced, which agree on ⊢ ⊿ but not on Γ ⊢ ⊿, where Γ and ⊢ are finite sets of formulae. Using the first scheme we axiomatize real-valued equality so that it induces metrics on the domains of appropriate structures.
openaire +1 more source
An incremental approach to local equality predicates in OBJ specification languages
2014 11th International Joint Conference on Computer Science and Software Engineering (JCSSE), 2014OBJ algebraic specification languages support automated equational reasoning based on term rewriting for interactive verification. The equational reasoning is sound but not always complete in general. In our previous work, we have given a condition for sound and complete equational reasoning for OBJ specifications and have proposed the notion of local ...
Masaki Nakamura, Kokichi Futatsugi
openaire +1 more source
The problem of choosing between using and avoiding equality predicates
Journal of Automated Reasoning, 1992This article is the twentieth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research asks one to find criteria for effectively choosing between using and avoiding equality predicates. Since there exist inference rules (such as paramodulation) that enable an automated reasoning program
openaire +1 more source
Does Seven-Fold Predication Equal Four-Cornered Negation Reversed?
Philosophy East and West, 1957THE PATTERN OF THE Jain seven-fold syadvda is sufficiently peculiar, when compared with other types of logical theory, to stimulate curiosity concerning how it arose and what, if any, relations it may have with other significant patterns. Jain doctrine' presupposes the existence of something which manifests itself through many aspects, each of which ...
openaire +1 more source
Corrosion Predication in Refinery Based on Not Equal Time Interval Grey System Model
2010 2nd International Workshop on Intelligent Systems and Applications, 2010The equipment exposed to wash erosion seriously when the refinery process high-sulfur crude oil. Used FLUENT to emulate fluid field can help us to find the place to monitor. Measured the wall thickness of the elbow on the entrance of the atmospheric distillation tower top exchangers by ultrasonic thickness meter every month, established standard GM(1,1)
openaire +1 more source
Extension of the inverse method to the predicate calculus with equality
Journal of Soviet Mathematics, 1972openaire +2 more sources