research
∙
07/12/2023
Primal logic of information
Primal logic arose in access control; it has a remarkably efficient (lin...
share
research
∙
01/22/2023
The umbilical cord of finite model theory
Model theory was born and developed as a part of mathematical logic. It ...
research
∙
09/27/2022
Software science view on quantum circuit algorithms
We show that, on the abstraction level of quantum circuit diagrams, quan...
research
∙
06/02/2022
A more abstract bounded exploration postulate
In article "Sequential abstract state machines capture sequential algori...
research
∙
01/15/2022
Wigner's quasidistribution and Dirac's kets
In every state of a quantum particle, Wigner's quasidistribution is the ...
research
∙
11/21/2021
Simple circuit simulations of classical and quantum Turing machines
We construct reversible Boolean circuits efficiently simulating reversib...
research
∙
07/17/2021
Quantum circuits with classical channels and the principle of deferred measurements
We define syntax and semantics of quantum circuits, allowing measurement...
research
∙
05/12/2021
Reversify any sequential algorithm
To reversify an arbitrary sequential algorithm A, we gently instrument A...
research
∙
03/05/2021
Logical foundations: Personal perspective
This is an attempt to illustrate the glorious history of logical foundat...
research
∙
09/22/2020
Negative probabilities: What they are and what they are for
In quantum mechanics, the probability distributions of position and mome...
research
∙
06/16/2020
Circuits: An abstract viewpoint
Our primary purpose is to isolate the abstract, mathematical properties ...
research
∙
02/08/2020
Means-fit effectivity
Historically, the notion of effective algorithm is closely related to th...
research
∙
10/14/2019
Circuit pedantry
Boolean and quantum circuits have commonalities and differences. To form...
research
∙
01/15/2019
Unconstrained Church-Turing thesis cannot possibly be true
The Church-Turing thesis asserts that if a partial strings-to-strings fu...
research
∙
08/19/2018
Evolving Algebras 1993: Lipari Guide
Computation models and specification methods seem to be worlds apart. Th...
research
∙
07/30/2018
Coherence for braided distributivity
In category-theoretic models for the anyon systems proposed for topologi...
research
∙
07/30/2018
Who needs category theory?
In computer science, category theory remains a contentious issue, with e...
research
∙
07/27/2018
Witness Algebra and Anyon Braiding
Topological quantum computation employs two-dimensional quasiparticles c...
research
∙
03/02/2018
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract
Hidden-variable (HV) theories allege that a quantum state describes an e...
research
∙
11/05/2008