Results 11 to 20 of about 79,610 (265)
Quantum logic as a dynamic logic [PDF]
Synthese, 2010 The authors argue that quantum mechanics does not require abandoning the principles of classical logic. Their argument is based on combining a formal semantic approach understood as an investigation of ``the logic of yes-no experiments'', following their papers [Int. J. Theor. Phys. 44, No. 12, 2267--2282 (2005; Zbl 1110.81013); Stud. Log. 89, No.
Alexandru Baltag, Sonja Smets
openaire +4 more sources
Dynamic Topological Logic [PDF]
Annals of Pure and Applied Logic, 2005 Three important research areas meet together in the abstract framework of dynamic topological logic (DTL): the topological semantics for S4, topological dynamics, and temporal logic. It is known that S4 can be understood as the logic of topological spaces, and \(\square\) can be understood as a topological modality (with the meaning of the topological ...
Philip Kremer, Grigori Mints
openaire +1 more source
Inclusion of a suite of weathering tracers in the cGENIE Earth system model – muffin release v.0.9.23 [PDF]
Geoscientific Model Development, 2021 The metals strontium (Sr), lithium (Li), osmium (Os) and calcium (Ca), together with their isotopes, are important tracers of weathering and volcanism – primary processes which shape the long-term cycling of carbon and other biogeochemically important ...
M. Adloff +10 more
doaj +1 more source
Computation Model of Cyber-Physical Immunosensor System
IEEE Access, 2019 This paper initiates a study toward developing and applying computation models of cyber-physical immunosensor systems (CPISS). The focus is on the mathematical description of continuous population dynamics combined with dynamic logic used for discrete ...
Vasyl Martsenyuk +1 more
doaj +1 more source
The Relationship Between Separation Logic and Implicit Dynamic Frames [PDF]
Logical Methods in Computer Science, 2012 Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support.
Matthew J. Parkinson +1 more
doaj +1 more source
Energy-Efficient circuits with improved diode free adiabatic logic design methodology
Ain Shams Engineering Journal, 2023 This paper demonstrates a detailed analysis of an unique improved diode-free adiabatic logic (IDFAL) circuit. The IDFAL is operated based on adiabatic switching principle.
Reginald H. Vanlalchaka +2 more
doaj +1 more source
Proceedings of the fourteenth annual ACM symposium on Theory of computing, 1982 This paper defines a formal logic PrDL whose syntax derives from Pratt's first-order dynamic logic and whose semantics is an extension of Kozen's for probabilistic programs. An axiom system for PrDL is given and shown to be complete relative to an extension of first-order analysis.
Yishai A. Feldman, David Harel
openaire +2 more sources
Static and dynamic vector semantics for lambda calculus models of natural language
Journal of Language Modelling, 2019 Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose
Mehrnoosh Sadrzadeh, Reinhard Muskens
doaj +1 more source
Ain Shams Engineering Journal, 2023 This paper presents a novel 16-bit arithmetic logic unit (ALU) design by cascading simple 1-bit ALUs using metal–oxide-semiconductor field effect transistor (MOSFET) and FinFET technologies while incorporating adiabatic switching principle.
Reginald H. Vanlalchaka +2 more
doaj +1 more source
Acta Universitatis Carolinae Philosophica et Historica, 2016 We investigate the Branching space-times logic in a dynamic setting. We present a new logic, called Dynamic branching logic and show some of its basic properties.
Petr Švarný
doaj +1 more source