Results 151 to 160 of about 939,241 (354)
A categorical model of predicate linear logic
Journal of Applied Mathematics and Computational Mechanics, 2015 Emilia Demeterová +2 more
doaj +1 more source
A decision procedure for satisfiability in separation logic with inductive predicates [PDF]
, 2014 J G. Brotherston +3 more
openalex +1 more source
On the complexity of index sets for finite predicate logic programs which allow function symbols [PDF]
, 2020 Douglas Cenzer +2 more
openalex +1 more source
Educational Theory, EarlyView.Abstract In contemporary contexts of digitalization, proliferating media, and generative AI, various “life hacks” are regularly recommended to disconnect and resist distraction, ranging from meditation to getting back to nature to unplugging. This paper traces contemporary concerns over “the attention crisis” into a longer signature — the frequently ...
Antti Saari, Bernadette M. Baker
wiley +1 more source
European Journal of Philosophy, EarlyView.Abstract In this paper, I provide a history of Kant's extensive experimentation with the doctrine of the schematism. I claim that diverse interpretations of schemata—as syntheses or intuitions; as attributable to the imagination or to the understanding; even as wholly incomprehensible—mark specific stages in Kant's own thought, and that the changes in ...
Alexander Stoltzfus Host
wiley +1 more source
European Journal of Philosophy, EarlyView.Abstract Most recent commentators on Kant's Transcendental Deduction assume that the main purpose of the second part of the B‐Deduction (“BD2”) is to show that human intuitions must fall under categories for reasons connected with their spatio‐temporal form.
Michael Pendlebury
wiley +1 more source
Logical Querying of Relational Databases
Journal of Economic Development, Environment and People, 2016 This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in ...
Luminita Pistol, Radu BUCEA-MANEA-TONIS
doaj
European Journal of Philosophy, EarlyView.Abstract In one of the most influential works in 20th‐century Latin America, Leopoldo Zea draws on Hegel's Master–Slave Dialectic to construct a philosophy of Latin American History from colonialism to the present. Yet his motives for organizing his work around these brief but suggestive passages from Hegel's Phenomenology of Spirit have not been well ...
Pavel Reichl
wiley +1 more source
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. [PDF]
PeerJ Comput Sci, 2023 García V +4 more
europepmc +1 more source
Disagreement and returns: The case of cryptocurrencies
Financial Management, EarlyView.Abstract We present the first evidence of investor‐trading‐based disagreement's influence on cross‐sectional cryptocurrency daily returns. We interpret abnormal trading volume as investor disagreement and find evidence in support of Miller's disagreement model: when short‐sale constraints are binding, high abnormal volume (high disagreement) assets ...
Jon A. Garfinkel +2 more
wiley +1 more source