We present two applications to AI of recently introduced high level quantum structures. These structures are the categorical quantum logic of (Abramsky & Coecke 2004) and the quantale quantum logic of (Coecke, Moore, & Stubbe 2001). Firstly, we show how the diagrammatic toolkit of categorical quantum logic, when restricted to its pregroup fragment (Lambek 1999; 2001), simplifies analysis of sentence structure of different languages. Moreover, the quantitative values that arise in these diagrams signify different degrees of complexity of sentences, which turn out to vary for different languages. Secondly, we show how expanding the quantale quantum logic with epistemic modalities provides a powerful system to reason about information...
The fundamentals of ÃLukasiewicz-Moisil logic algebras and their applica-tions to complex genetic ne...
<i>Abstract</i><div><br></div><div><br></div><div>The fundamentals of Lukasiewicz-Moisil logic algeb...
This book provides a general survey of the main concepts, questions and results that have been devel...
New scientific paradigms typically consist of an expansion of the conceptual language with which we ...
Quantum information has suggested new forms of quantum logic, called quantum computational logics, w...
Abstract Some critical open problems of epistemic logics can be investigated in the framework of a q...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
Dagger-compact categories have been proposed as a categorical framework suitable for quantum reasoni...
Abstract. In quantum computational logics meanings of sentences are identified with quantum informat...
We propose a higher semantics for the description of quantum protocols, which deals with quantum and...
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called ...
Several domains [S. Abramsky. A Cook's tour of a simple quantum programming language. 3rd Inter...
AbstractSeveral domains [S. Abramsky. A Cook's tour of a simple quantum programming language. 3rd In...
ABSTRACT The fundamentals of ÃLukasiewicz-Moisil logic algebras and their applications to complex g...
This book provides a general survey of the main concepts, questions and results that have been devel...
The fundamentals of ÃLukasiewicz-Moisil logic algebras and their applica-tions to complex genetic ne...
<i>Abstract</i><div><br></div><div><br></div><div>The fundamentals of Lukasiewicz-Moisil logic algeb...
This book provides a general survey of the main concepts, questions and results that have been devel...
New scientific paradigms typically consist of an expansion of the conceptual language with which we ...
Quantum information has suggested new forms of quantum logic, called quantum computational logics, w...
Abstract Some critical open problems of epistemic logics can be investigated in the framework of a q...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
Dagger-compact categories have been proposed as a categorical framework suitable for quantum reasoni...
Abstract. In quantum computational logics meanings of sentences are identified with quantum informat...
We propose a higher semantics for the description of quantum protocols, which deals with quantum and...
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called ...
Several domains [S. Abramsky. A Cook's tour of a simple quantum programming language. 3rd Inter...
AbstractSeveral domains [S. Abramsky. A Cook's tour of a simple quantum programming language. 3rd In...
ABSTRACT The fundamentals of ÃLukasiewicz-Moisil logic algebras and their applications to complex g...
This book provides a general survey of the main concepts, questions and results that have been devel...
The fundamentals of ÃLukasiewicz-Moisil logic algebras and their applica-tions to complex genetic ne...
<i>Abstract</i><div><br></div><div><br></div><div>The fundamentals of Lukasiewicz-Moisil logic algeb...
This book provides a general survey of the main concepts, questions and results that have been devel...