1679 search results - page 19 / 336 » Strong order equivalence |
JSYML
2006
14 years 11 months ago
2006
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a s...
ENTCS
2006
14 years 11 months ago
2006
In 1937 Marshall Stone extended his celebrated representation theorem for Boolean algebras to distributive lattices. In modern terminology, the representing topological spaces are...
MSCS
2008
14 years 11 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
IPMU
2010
Springer
15 years 1 months ago
2010
Springer
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics usin...
109
click to vote
MST
2008
14 years 11 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...