Results 31 to 40 of about 574,752 (282)
, 2017 Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax.
Heylen, Jan, Horsten, Leon
core +4 more sources
Why a Logic is not only its Set of Valid Inferences
Análisis Filosófico, 2021 The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game.
Eduardo A. Barrio, Federico Pailos
doaj +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
Inadequacy of Modal Logic in Quantum Settings [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox.
Nuriya Nurgalieva, Lídia del Rio
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
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
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
Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics
Bulletin of the Section of LogicNon-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical.
Antonio Piccolomini d’Aragona
doaj +1 more source
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 more
wiley +1 more source
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination [PDF]
, 2010 In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed.
Axel Polleres +4 more
core +2 more sources