scholarly journals New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

2015 ◽  
Vol 11 (3) ◽  
Author(s):  
Bart Jacobs
Keyword(s):  
Quantum Logic ◽  
Categorical Logic ◽  
New Directions

scholarly journals A First Step to the Categorical Logic of Quantum Programs

Entropy ◽  
2020 ◽  
Vol 22 (2) ◽  
pp. 144
Author(s):  
Xin Sun ◽  
Feifei He
Keyword(s):  
Quantum Mechanics ◽  
Formal Verification ◽  
Quantum Logic ◽  
Proof Of Concept ◽  
Quantum Bit ◽  
Bit Commitment ◽  
Categorical Logic ◽  
Categorical Quantum Mechanics ◽  
Quantum Programming

The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. In this paper we introduce the basic idea of our categorical logic of quantum programs (CLQP): It combines the logic of quantum programming (LQP) and categorical quantum mechanics (CQM) such that the advantages of both LQP and CQM are preserved while their disadvantages are overcome. We present the syntax, semantics and proof system of CLQP. As a proof-of-concept, we apply CLQP to verify the correctness of Deutsch’s algorithm and the concealing property of quantum bit commitment.

Sociocultural memory development research drives new directions in gadgetry science

2019 ◽  
Vol 42 ◽  
Author(s):  
Penny Van Bergen ◽  
John Sutton
Keyword(s):  
Episodic Memory ◽  
Autobiographical Memory ◽  
Developmental Psychology ◽  
Cross Cultural ◽  
Memory Development ◽  
Development Research ◽  
Cultural Research ◽  
New Directions ◽  
Cross Cultural Research

Abstract Sociocultural developmental psychology can drive new directions in gadgetry science. We use autobiographical memory, a compound capacity incorporating episodic memory, as a case study. Autobiographical memory emerges late in development, supported by interactions with parents. Intervention research highlights the causal influence of these interactions, whereas cross-cultural research demonstrates culturally determined diversity. Different patterns of inheritance are discussed.

Behavioural alcohol research: new directions or more of the same?

Addiction ◽  
1997 ◽  
Vol 92 (11) ◽  
pp. 1411-1422 ◽  
Author(s):  
Anthony P. Shakeshaft ◽  
Jenny A. Bowman ◽  
Rob W. Sanson-Fisher
Keyword(s):  
New Directions

New Directions in Multinomial Modeling

2009 ◽  
Vol 217 (3) ◽  
pp. 105-107 ◽  
Author(s):  
Christoph Stahl ◽  
Thorsten Meiser
Keyword(s):  
Multinomial Modeling ◽  
New Directions

New Directions in Psychopathology and Psychopharmacology

1974 ◽  
Vol 19 (10) ◽  
pp. 699-700
Author(s):  
PETER CARLTON
Keyword(s):  
New Directions
Sign in / Sign up

Export Citation Format

Share Document