Results 31 to 40 of about 512,574 (282)
An Holistic Extension for Classical Logic via Quantum Fredkin Gate
Entropy, 2021 An holistic extension for classical propositional logic is introduced in the framework of quantum computation with mixed states. The mentioned extension is obtained by applying the quantum Fredkin gate to non-factorizable bipartite states. In particular,
Hector Freytes, Giuseppe Sergioli
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
Rivista di Estetica, 2010 The sorites as a formal theory. The sorites paradox has been understood as a failure of classical logic and a way out can be found by choosing a non classical logic (fuzzy logic, for instance).
Maurizio Negri
doaj +1 more source
, 2018 Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ciardelli, Ivano, Otto, Martin
core +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
Postprawda w dyskursie publicznym w kontekście logiki klasycznej i logiki rozmytej
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura, 2019 The work presents two trends of discussion on post-truth. The first is conservatively critical, based on the necessity of rejecting this concept as unscientific and harmful.
Mirosław Lakomy
doaj +1 more source
Knowledge Spaces and the Completeness of Learning Strategies [PDF]
, 2014 We propose a theory of learning aimed to formalize some ideas underlying Coquand's game semantics and Krivine's realizability of classical logic. We introduce a notion of knowledge state together with a new topology, capturing finite positive and ...
Berardi, Stefano, de'Liguoro, Ugo
core +3 more sources
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
Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
Perspectivas em Ciência da InformaçãoRESUMO Este artigo introduz a arquitetura da informação de uma linguagem formal textual para representar e obter deduções a respeito problemas reais com base em ontologias de domínio e ontologias de fundamentação.
Lauro César Araujo, Mamede Lima-Marques
doaj +1 more source
What is a Paraconsistent Logic? [PDF]
, 2018 Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is
Alexej Pynko +30 more
core +1 more source