Sciweavers

191 search results - page 5 / 39
» A categorical quantum logic
Sort
View
ENTCS
2008
94views more  ENTCS 2008»
13 years 7 months ago
From Reversible to Irreversible Computations
In this paper we study the relation between reversible and irreversible computation applicable to different models of computation -- here we are considering classical and quantum ...
Alexander S. Green, Thorsten Altenkirch
SLOGICA
2008
101views more  SLOGICA 2008»
13 years 7 months ago
A Dynamic-Logical Perspective on Quantum Behavior
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
Alexandru Baltag, Sonja Smets
IJIT
2004
13 years 9 months ago
The Usefulness of Logical Structure in Flexible Document Categorization
This paper presents a new approach for automatic document categorization. Exploiting the logical structure of the document, our approach assigns a HTML document to one or more cate...
Jebari Chaker, Habib Ounelli
EUSFLAT
2009
156views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
On Classical, Fuzzy Classical, Quantum and Fuzzy Quantum Systems
In this paper we consider physical systems and the concept of their states in the context of the theory of fuzzy sets and systems. In section 1 we give a brief sketch on the fundam...
Rudolf Seising
CORR
2008
Springer
109views Education» more  CORR 2008»
13 years 7 months ago
Compactly accessible categories and quantum key distribution
Abstract. Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based con...
Chris Heunen