Automata theory based on quantum logic. (I)

被引：46

作者：

Ying, MS ^{[1
]}

机构：

[1] Tsing Hua Univ, Dept Comp Sci & Technol, State Key Lab Intelligent Technol & Syst, Beijing 100084, Peoples R China

来源：

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS | 2000年 / 39卷 / 04期

关键词：

D O I：

10.1023/A:1003642222321

中图分类号：

O4 [物理学];

学科分类号：

0702 ;

摘要：

We present a basic Framework of automats theory based on quantum logic. In particular, we introduce the orthomodular lattice-valued (quantum) predicate of recognizability and establish some of its fundamental properties.

引用

页码：985 / 995

页数：11

共 50 条

[21] CONNEXIVE CONDITIONAL LOGIC. Part I
Wansing, Heinrich
Unterhuber, Matthias
LOGIC AND LOGICAL PHILOSOPHY, 2019, 28 (03) : 567 - 610
[22] Logic, logic, and logic.
Jané, I
HISTORY AND PHILOSOPHY OF LOGIC, 2000, 21 (03) : 223 - 229
[23] Finite automata based on quantum logic and monadic second-order quantum logic
LI YongMing College of Computer Science
Science China(Information Sciences), 2010, 53 (01) : 101 - 114
[24] Finite automata based on quantum logic and monadic second-order quantum logic
YongMing Li
Science in China Series F: Information Sciences, 2010, 53 : 101 - 114
[25] Finite automata based on quantum logic and monadic second-order quantum logic
Li YongMing
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 53 (01) : 101 - 114
[26] LOGICA UNIVERSALIS TOWARDS A GENERAL THEORY OF LOGIC.\
Krajicek, Jan
MATHEMATICA BOHEMICA, 2007, 132 (03): : 333 - 333
[27] Logic.
Bader, EJ
LIBRARY JOURNAL, 2004, 129 (04) : 109 - 110
[28] Elements of intuitionistic fuzzy logic. Part I
Atanassov, K
Gargov, G
FUZZY SETS AND SYSTEMS, 1998, 95 (01) : 39 - 52
[29] Fundamental principles on combinatory logic. Part I
Curry, HB
AMERICAN JOURNAL OF MATHEMATICS, 1930, 52 : 509 - 536
[30] A new logic.
不详
LANCET, 1912, 1 : 1416 - 1417

← 1 2 3 4 5 →