Partition Logics, Orthoalgebras and Automata
classification
🪐 quant-ph
keywords
automatalogicsorthoalgebraspartitionarisingcertainclassicalconcern
read the original abstract
We investigate the orthoalgebras of certain non-Boolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Quantum Structures as Generative Scores: Partition Logic, Generative Logic, and Aesthetic Form
Partition logic is converted into Prolog generative grammars to produce modular artifacts like the Quantum Square, keeping logical structure independent of its realization for design and communication uses.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.