Results 21 to 30 of about 966,425 (288)
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
Brain. Conscious and Unconscious Mechanisms of Cognition, Emotions, and Language
Brain Sciences, 2012 Conscious and unconscious brain mechanisms, including cognition, emotions and language are considered in this review. The fundamental mechanisms of cognition include interactions between bottom-up and top-down signals.
Roman Ilin, Leonid Perlovsky
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
Contribution of Warsaw Logicians to Computational Logic
Axioms, 2016 The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa.
Damian Niwiński
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
Transition Semantics - The Dynamics of Dependence Logic [PDF]
, 2013 We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between First-Order Logic and ...
Galliani, Pietro
core +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
Combining Equilibrium Logic and Dynamic Logic [PDF]
, 2013 We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by the usual dynamic logic program connectives. We investigate the mathematical properties of the resulting extension of equilibrium logic:
Fariñas del Cerro, Luis +2 more
openaire +2 more sources
Categories for Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis ...
Kohei Kishida
doaj +1 more source
Dynamic Separation Logic and its Use in Education
Современные информационные технологии и IT-образование, 2020 Mathematical logic is widely used in hardware and software verification. Hoare logic is particularly suitable for reasoning about imperative programs.
Evgeny Makarov
doaj +1 more source