Generalized [Formula: see text] Operation and the Categorical Equivalence of the Abbott Algebras and Quantum Logics

Considering the inference rules in generalized logics, J.C. Abbott arrives to the notion of orthoimplication algebra (see Abbott (1970) and Abbott (Stud. Logica. 2:173–177, XXXV)). We show that when one enriches the Abbott orthoimplication algebra with a falsity symbol and a natural [Formula: see te...

Descripción completa

Detalles Bibliográficos
Autor principal: Burešová, Dominika
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer US 2023
Materias:
Research
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10167795/
https://www.ncbi.nlm.nih.gov/pubmed/37181082
http://dx.doi.org/10.1007/s10773-023-05355-3

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10167795/
https://www.ncbi.nlm.nih.gov/pubmed/37181082
http://dx.doi.org/10.1007/s10773-023-05355-3

Ejemplares similares