Searching for "Reflection and Truth." – sorted by Relevance.
64 documents found, showing 1 through 10.
Next 10 →
-
The Pendulum Instruction Set Architecture (PISA)
- … to reflect as closely as possible the instruction set encodings for the Pendulum machine. While the machine…
- Cited by 1 (0 self) – Add To MetaCart
-
Discovering affine equalities using random interpretation
- … of an equality conditional we adjust the data values on the fly to reflect the truth value of the guarding…
- Cited by 21 (10 self) – Add To MetaCart
-
Modal Logic In Two Gestalts
- …, mostly first-order, sometimes higher-order or infinitary. These translations reflect the truth conditions…
- Cited by 6 (2 self) – Add To MetaCart
-
A Study of Categories of Algebras and Coalgebras
- … into the internal language of the base category, which preserves and reflects truth. Lastly, we introduce a Kripke…
- Cited by 12 (5 self) – Add To MetaCart
-
A Study of Categories of Algebras and Coalgebras
- … into the internal language of the base category, which preserves and reflects truth. Lastly, we introduce a Kripke…
- Add To MetaCart
-
The Geometry of Negation
- … t 4 t 1 t 3 t 2 in the truth-values, negation flips them upside down—it mirror-reflects…
- Add To MetaCart
-
F.: Unifying reasoning and search to web scale
- …. Trustworthiness, correctness of inference rules, and consistency. Traditional logic takes axioms as reflecting…
- Cited by 17 (0 self) – Add To MetaCart
-
Automatic predicate abstraction of C programs
- …==NULLg=true;", reflects the truth of the predicate (prev = NULL) after the assignment. The value of the predicate (prev…
- Cited by 267 (16 self) – Add To MetaCart
-
Trust-Based Decision Making For Electronic Transactions
- … consists of determining from the two opinions a new opinion reflecting the truth of both propositions…
- Cited by 26 (6 self) – Add To MetaCart
-
Measuring intrusion detection capability: An information-theoretic approach
- ….e., the alarms) should faithfully reflect the “truth” about the input (i.e., whether an intrusion really occurs…
- Cited by 9 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
