Adapting Logic to Physics: The Quantum-Like Eigenlogic Program [PDF]
Entropy, 2020 Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlogic ...
Zeno Toffano, François Dubois
doaj +2 more sources
Algebras of Binary Isolating Formulas for Strong Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2023 Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emelyanov
doaj +1 more source
Algebras of Binary Isolating Formulas for Tensor Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2022 Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations.
D.Yu. Emel’yanov
doaj +1 more source
Algebras of Binary Isolating Formulas for Theories of Root Products of Graphs
Известия Иркутского государственного университета: Серия "Математика", 2021 Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types.
D.Yu. Emel’yanov
doaj +1 more source
Algebras of Distributions of Binary Formulas for Theories of Archimedean Solids
Известия Иркутского государственного университета: Серия "Математика", 2019 Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types.
D.Yu. Emelyanov
doaj +1 more source
On the Constant-Depth Circuit Complexity of Generating Quasigroups [PDF]
TheoretiCSWe investigate the constant-depth circuit complexity of the Isomorphism Problem, Minimum Generating Set Problem (MGS), and Sub(quasi)group Membership Problem (Membership) for groups and quasigroups (=Latin squares), given as input in terms of their ...
Nathaniel A. Collins +3 more
doaj +1 more source
Algebras of Binary Isolating Formulas for Homomorphic Product Theories
Известия Иркутского государственного университета: Серия "Математика"Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emel’yanov
doaj +1 more source
On distance-based topological indices and co-indices of fractal-type molecular graphs and their respective graph entropies. [PDF]
PLoS One, 2023 Malik MA, Imran M, Adeel M.
europepmc +1 more source
Language discordance as a marker of disparities in cerebrovascular risk and stroke outcomes: A multi-center Canadian study. [PDF]
Cereb Circ Cogn Behav, 2023 Muir RT +22 more
europepmc +1 more source
Do cancer curvivors and metavivors have distinct needs for stress management intervention? Retrospective analysis of a mind-body survivorship program. [PDF]
Support Care Cancer, 2023 Finkelstein-Fox L +11 more
europepmc +1 more source