Results 41 to 50 of about 2,869,949 (320)
Kripke models for classical logic [PDF]
Annals of Pure and Applied Logic, 2009 We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.
Danko Ilik, Gyesik Lee, Hugo Herbelin
semanticscholar +1 more source
Implementation of Grover’s Algorithm & Bernstein-Vazirani Algorithm with IBM Qiskit
Journal of Informatics and Web EngineeringQuantum logic gates differ from classical logic gates as the former involves quantum operators. The conventional gates such as AND, OR, NOT etc., are generally classified as classical gates, however, some of the quantum gates are known as Pauli gates ...
Yang-Che Liu, Mei-Feng Liu
doaj +1 more source
Mathematical Foundation of a Functional Implementation of the CNF Algorithm
Algorithms, 2023 The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the ...
Francisco Miguel García-Olmedo +2 more
doaj +1 more source
Unclosed questions in non-classical logic (in memory of Professor D. V. Pivovarov)
Интеллект. Инновации. ИнвестицииAs a methodological tool of sorts in the memorial paper makes use of reconstruction of professor Pivovarov’s talks, which often displayed genuine, persevering and always critical interest in non-classical logic.
A. G. Kislov
doaj +1 more source
Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]
, 2014 This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core
Integration of circadian and hypoxia signaling via non‐canonical heterodimerization
FEBS Letters, EarlyView.CLOCK, BMAL1, and HIFs are basic helix‐loop‐helix and Per‐Arnt‐Sim domain (bHLH‐PAS) proteins, which function as transcription factors. bHLH‐PAS proteins are designated in two classes. Many class I proteins are regulated by environmental signals via their PAS domains, but such signals have not been identified for all.
Sicong Wang, Katja A. Lamia
wiley +1 more source
Program Semantics and Classical Logic [PDF]
, 1997 In the tradition of Denotational Semantics one usually lets program constructs take their denotations in reflexive domains, i.e. in domains where self-application is possible.
Muskens Reinhard, Reinhard Muskens
core +2 more sources
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Minimal Systems of Temporal Logic
Axioms, 2020 The article discusses minimal temporal logic systems built on the basis of classical logic as well as intuitionistic logic. The constructions of these systems are discussed as well as their basic properties.
Dariusz Surowik
doaj +1 more source
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source