Automaton logic (Q1916271): Difference between revisions

The main contribution of the paper is the investigation of the propositional calculus for automata of Moore or Mealy type. It is shown that the set of the experimentally decidable propositions forms in this case a partition logic, i.e., it can be seen as the ``pasting'' of a family of Boolean algebras. The analogies with quantum mechanics are also discussed.

0 references

zbMATH Keywords

Moore automata

0 references

Mealy automata

0 references

propositional calculus

0 references

experimentally decidable propositions

0 references

partition logic

0 references

Boolean algebras

0 references

reviewed by

Nicolas Hadjisavvas

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q5789040

0 references

Q5549816

0 references

An Improvement on a Theorem of E. F. Moore

0 references

Q5639639

0 references

Computational complementarity

0 references

Q4023197

0 references

Q5639727

0 references

Automata simulating quantum logics

0 references

Macroscopic realizations of quantum logics

0 references

Empirical logic of finite automata: Microstatements versus macrostatements

0 references

0 references

0 references

0 references

0 references

0 references

The Pasting Constructions for Orthomodular Posets

0 references

Q4100556

0 references

Orthomodular lattices and quadratic spaces: A survey

0 references

Orthomodular structures as quantum logics. Transl. from the Slovak

0 references

Q4284061

0 references

Q3283948

0 references

full work available at URL

https://doi.org/10.1007/bf02302381

0 references

Identifiers

zbMATH Open document ID

0854.03041

0 references

DOI

10.1007/BF02302381

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1916271

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5789040
@@ Property / cites work: Q5789040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549816
@@ Property / cites work: Q5549816 / rank @@
+Normal rank
@@ Property / cites work @@
+An Improvement on a Theorem of E. F. Moore
@@ Property / cites work: An Improvement on a Theorem of E. F. Moore / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complementarity
@@ Property / cites work: Computational complementarity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023197
@@ Property / cites work: Q4023197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639727
@@ Property / cites work: Q5639727 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata simulating quantum logics
@@ Property / cites work: Automata simulating quantum logics / rank @@
+Normal rank
@@ Property / cites work @@
+Macroscopic realizations of quantum logics
@@ Property / cites work: Macroscopic realizations of quantum logics / rank @@
+Normal rank
@@ Property / cites work @@
+Empirical logic of finite automata: Microstatements versus macrostatements
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551052
@@ Property / cites work: Q5551052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5557878
@@ Property / cites work: Q5557878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534907
@@ Property / cites work: Q5534907 / rank @@
+Normal rank
@@ Property / cites work @@
+The Pasting Constructions for Orthomodular Posets
@@ Property / cites work: The Pasting Constructions for Orthomodular Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodular lattices and quadratic spaces: A survey
+Normal rank
@@ Property / cites work @@
+Orthomodular structures as quantum logics. Transl. from the Slovak
+Normal rank
@@ Property / cites work @@
+Q4284061
@@ Property / cites work: Q4284061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3283948
@@ Property / cites work: Q3283948 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02302381
+Normal rank
@@ Property / OpenAlex ID @@
+W3188974984
@@ Property / OpenAlex ID: W3188974984 / rank @@
+Normal rank