Results 31 to 40 of about 420,653 (327)
Monadicity of Non-deterministic Logical Matrices is Undecidable [PDF]
Non-Classical Logic. Theory and Applications, 2022 The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matrices (where connectives are interpreted as functions) whilst finitely ...
P. Filipe, C. Caleiro, Sérgio Marcelino
semanticscholar +1 more source
Nagoya Mathematical Journal, 1968 Let L be a fixed language and K be a set of structures related to L. A sentence in L is said to be K-valid if and only if for every structure in K,
openaire +3 more sources
Reconstruction of the Stagirite argument against the fatalism of future events
Мультиверсум: Философский альманах, 2020 The question of free will and determinism is one of the most discussed in analytic philosophy. This is because interdisciplinary research has entered the field of studying the brain and consciousness – and often, consciousness is presented as an ...
Ruslan Myronenko
doaj +1 more source
Embedding Session Types in HML [PDF]
, 2013 Recent work on the enhancement of multiparty session types with logical annotations enable the effective verification of properties on (1) the structure of the conversations, (2) the sorts of the messages, and (3) the actual values exchanged.
Bocchi, Laura +3 more
core +1 more source
Nonconservation of Energy and Loss of Determinism. II. Colliding with an open set. [PDF]
, 2009 An actual infinity of colliding balls can be in a configuration in which the laws of mechanics lead to logical inconsistency. It is argued that one should therefore limit the domain of these laws to a finite, or only a potentially infinite number of ...
Atkinson, David +3 more
core +1 more source
Sensors, 2022 Autonomous components within electric power systems can be successfully specified by interpreted Petri nets. Such a formal specification makes it possible to check some basic properties of the models, such as determinism or deadlock freedom.
Iwona Grobelna, Paweł Szcześniak
doaj +1 more source
Du déterminisme biologique au déterminisme social
Socio, 2016 Historical semantics, while being opposed to the idea of linear progress, does enable us to show that notions of biological determinism and social determinism were broadly conceived as being complementary.
Marc Joly
doaj +1 more source
Time and Causality: A Thermocontextual Perspective
Entropy, 2021 The thermocontextual interpretation (TCI) is an alternative to the existing interpretations of physical states and time. The prevailing interpretations are based on assumptions rooted in classical mechanics, the logical implications of which include ...
Harrison Crecraft
doaj +1 more source
Los problemas actuales de la libertad
Tópicos, 2013 The article studies three aspects of Freedom: if it exists (an sit in Latin), why it is (cur sit), what it is (quid sit). Psychological Determinism has objected the an sit. While Logical Positivism questions the possibility of knowing the reason (cur sit)
Carlos Llano C.
doaj +1 more source
Geometric and physical interpretation of the action principle
Scientific Reports, 2023 We give a geometric interpretation for the principle of stationary action in classical Lagrangian particle mechanics. In a nutshell, the difference of the action along a path and its variation effectively “counts” the possible evolutions that “go through”
Gabriele Carcassi, Christine A. Aidala
doaj +1 more source