1947 search results - page 19 / 390 » A presentation of Quantum Logic based on an |
95
Voted
TABLEAUX
1997
Springer
15 years 4 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...
127
click to vote
SLOGICA
1998
15 years 7 days ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
EJC
2010
15 years 20 days ago
2010
Mutually unbiased bases (MUBs) in complex vector spaces play several important roles in quantum information theory. At present, even the most elementary questions concerning the m...
107
Voted
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
130
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...