Results 71 to 80 of about 209,396 (188)

Fault-tolerant Quantum Error Correction Using a Linear Array of Emitters [PDF]

Quantum
We propose a fault-tolerant quantum error correction architecture consisting of a linear array of emitters and delay lines. In our scheme, a resource state for fault-tolerant quantum computation is generated by letting the emitters interact with a stream
Jintae Kim, Jung Hoon Han, Isaac H. Kim
doaj   +1 more source

Russell, logicism, and the choice of logical constants.

Notre Dame Journal of Formal Logic, 1989
It is here argued that Russell's Principles of Mathematics contains an intriguing idea about how to demarcate logical concepts from nonlogical ones. On this view, implication and generality emerge as the two fundamental logical concepts. Russell's 1903 proposals for defining other logical concepts from these basic ones are examined and extended ...
openaire   +2 more sources

The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae

, 1998
We consider the problems of finding the lexicographically minimal (or maximal) satisfying assignment of propositional formulae for different restricted formula classes.
Reith, Steffen, Vollmer, Heribert
core   +1 more source

El Significado de la Negación Paraconsistente

Principia: An International Journal of Epistemology, 2009
This work agrees and supports the I. Hacking’s thesis regarding the meaningof the logical constants accordingly with Gentzen’s Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logical ...
Cecilia Duran, Gladys Palau
doaj  

Logical Constants and Unrestricted Quantification

Journal for the Philosophy of Mathematics
Variants of the so-called permutation criterion have been used for distinguishing between logical and non-logical operations or expressions. Roughly, an operation is defined as logical if, and only if, it is invariant under arbitrary permutations on every domain. Thus a logical operation behaves on all objects in the same way.
openaire   +2 more sources

Language and Logic in Wittgenstein's Tractatus

Nordic Wittgenstein Review, 2013
This paper investigates Wittgenstein’s account of the relation between elementary and molecular propositions (and thus, also, the propositions of logic) in the Tractatus Logico-Philosophicus.
Daniele Mezzadri
doaj  

On the Interpretation of Denotational Semantics

Philosophies
The denotational approach to the semantics of programming languages views program meanings as elements of domains, abstract partially ordered structures that form the basis of a mathematical theory of computation.
Felice Cardone
doaj   +1 more source

Sequent Systems for Consequence Relations of Cyclic Linear Logics

Bulletin of the Section of Logic
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj   +1 more source

Smook on Logical and Extralogical Constants

Informal Logic, 1991
David Hitchcock, Rolf George
doaj   +1 more source

Philosophical Interpretations Matter

Principia: An International Journal of Epistemology
In recent years, there has been an increasing debate about some philosophical aspects of paraconsistent logics. The focus of this controversy has been on whether the notion of philosophical interpretation of a logic is separable or independent from the ...
Eduardo Alejandro Barrio, Edson Bezerra, Bruno da Ré   +2 more
doaj   +1 more source