Results 21 to 30 of about 2,869,949 (320)
Quantum–classical interface based on single flux quantum digital logic [PDF]
, 2017 We describe an approach to the integrated control and measurement of a large-scale superconducting multiqubit array comprising up to 108 physical qubits using a proximal coprocessor based on the Single Flux Quantum (SFQ) digital logic family.
Robert McDermott +6 more
semanticscholar +1 more source
Canonical Proof nets for Classical Logic [PDF]
, 2012 Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof.
McKinley, Richard
core +2 more sources
Classical Logic in the Quantum Context
Quantum Reports, 2020 It is generally accepted that quantum mechanics entails a revision of the classical propositional calculus as a consequence of its physical content. However, the universal claim according to which a new quantum logic is indispensable in order to model ...
Andrea Oldofredi
doaj +1 more source
Bird's-eye view on Noise-Based Logic [PDF]
, 2014 Noise-based logic is a practically deterministic logic scheme inspired by the randomness of neural spikes and uses a system of uncorrelated stochastic processes and their superposition to represent the logic state.
Bezrukov, Sergey M. +5 more
core +1 more source
Classical propositional logic and decidability of variables in intuitionistic propositional logic [PDF]
Logical Methods in Computer Science, 2014 We improve the answer to the question: what set of excluded middles for propositional variables in a formula suffices to prove the formula in intuitionistic propositional logic whenever it is provable in classical propositional logic.
Hajime Ishihara
doaj +1 more source
Classical logic, argument and dialectic
Artificial Intelligence, 2018 A well studied instantiation of Dung's abstract theory of argumentation yields argumentation-based characterisations of non-monotonic inference over possibly inconsistent sets of classical formulae.
Marcello D'Agostino, S. Modgil
semanticscholar +1 more source
First-Order Classical Modal Logic [PDF]
Studia Logica, 2006 This paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic.
Arló-Costa, Horacio, Pacuit, Eric
openaire +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
Tarskian Classical Relevant Logic [PDF]
, 2021 The Tarskian classical relevant logic TR arises from Tarski's work on the foundations of the calculus of relations and on first-order logic restricted to finitely many variables, presented by Tarski and Givant their book, A Formalization of Set Theory without Variables, and summarized in first nine sections.
openaire +2 more sources
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