Logical Relations as Types: Proof-Relevant Parametricity for Program Modules.

• Authors : STERLING, JONATHAN¹ ; HARPER, ROBERT¹

Subjects: *Logic; Artin algebras; Structural analysis (Engineering)

• Source: Journal of the ACM. Dec2021, Vol. 68 Issue 6, p1-47. 47p.

Record details

THE MURDER OF HINTSA.

• Authors : Blackman, Matthew

Subjects: *INCONSISTENCY (Logic); *XHOSA (African people); *ARMED ForcesCAPE of Good Hope (South Africa)

• Source: History Today. May2022, Issue 5, p40-51. 12p.

Record details

GENERATING THEORY BY ABDUCTION.

• Authors : SÆTRE, ALF STEINER¹; VAN DE VEN, ANDREW²

Subjects: *Management philosophy; *Logic; Abduction (Logic)

• Source: Academy of Management Review. Oct2021, Vol. 46 Issue 4, p684-701. 18p. 1 Diagram, 1 Chart.

Record details

On the Power of Symmetric Linear Programs.

• Authors : ATSERIAS, ALBERT¹ ; DAWAR, ANUJ² ; OCHREMIAK, JOANNA³

Subjects: *Linear programming; Logic circuits; Hamiltonian graph theory

• Source: Journal of the ACM. Jul2021, Vol. 68 Issue 4, p1-35. 35p.

Record details

Specificity effects in reasoning with counterintuitive and arbitrary conditionals.

• Authors : Gazzo Castañeda, Lupita Estefania; Knauff, Markus

• Source: Memory & Cognition (MEM COGNIT), Feb2022; 50(2): 366-377. (12p)

Record details

2021 Presidential Address a Year to Remember: An Extraordinary Journey onto a Promising Path of Inclusion and Agility.

• Authors : Coyle-Shapiro, Jacqueline A-M.¹ (AUTHOR)

Subjects: *COVID-19 pandemic; Variables (Logic); Police brutality

• Source: Academy of Management Review. Apr2021, Vol. 46 Issue 2, p226-230. 5p.

Record details

Cellular Computational Logic Using Toehold Switches.

• Authors : Choi, Seungdo¹ (AUTHOR) ; Lee, Geonhu¹ (AUTHOR); Kim, Jongmin¹ (AUTHOR)

Subjects: *ANTISENSE RNA; *LOGIC circuits; *LOGIC

• Source: International Journal of Molecular Sciences. Apr2022, Vol. 23 Issue 8, p4265-4265. 16p.

Record details

On the distributivity of T-power based implications.

• Authors : Peng, Z.^1,2 ; Pan, J.²

Subjects: *IMPLICATION (Logic); *TRIANGULAR norms; *FUZZY logic

• Source: Iranian Journal of Fuzzy Systems. Apr2022, Vol. 19 Issue 2, p169-186. 18p.

Record details

Semilinear logics with knotted axioms.

• Authors : Yang, E.¹

Subjects: *MATHEMATICAL logic; *COMPLETENESS theorem; *FUZZY logic

• Source: Iranian Journal of Fuzzy Systems. Apr2022, Vol. 19 Issue 2, p17-30. 14p.

Record details

Construction of Multiple Logic Circuits Based on Allosteric DNAzymes.

• Authors : Liu, Xin¹ (AUTHOR) ; Zhang, Qiang¹ (AUTHOR) ; Zhang, Xun¹ (AUTHOR)

Subjects: *DEOXYRIBOZYMES; *LOGIC circuits; *INTEGRATED circuits

• Source: Biomolecules (2218-273X). Apr2022, Vol. 12 Issue 4, p495. 16p.

Record details