Cargando…

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

Ejemplares similares

Analysis of the equivalence relationship between [Formula: see text] -minimization and [Formula: see text] -minimization
por: Wang, Changlong, et al.
Publicado: (2017)

[Formula: see text] as a symmetry of division algebraic ladder operators
por: Furey, C.
Publicado: (2018)

The spectrum and some subdivisions of the spectrum of discrete generalized Cesàro operators on [Formula: see text] ([Formula: see text] )
por: Yıldırım, Mustafa, et al.
Publicado: (2017)

Observation of B[Formula: see text] [Formula: see text] [Formula: see text] (2S)K[Formula: see text] and B[Formula: see text] [Formula: see text] [Formula: see text] (2S)K[Formula: see text] decays
por: Tumasyan, A., et al.
Publicado: (2022)

The [Formula: see text] massive operator matrix elements of [Formula: see text] for the structure function [Formula: see text] and transversity
por: Ablinger, J., et al.
Publicado: (2011)

Approximation of the generalized Cauchy–Jensen functional equation in [Formula: see text] -algebras
por: Kaskasem, Prondanai, et al.
Publicado: (2018)

Amenability of coarse spaces and [Formula: see text] -algebras
por: Ara, Pere, et al.
Publicado: (2017)

[Formula: see text] rule, [Formula: see text] and [Formula: see text] in [Formula: see text] and [Formula: see text] models with FCNC quark couplings
por: Buras, Andrzej J., et al.
Publicado: (2014)

Measurement of prompt and nonprompt [Formula: see text] production in [Formula: see text] and [Formula: see text] collisions at [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2017)

Measurement of polarization observables [Formula: see text] , [Formula: see text] , and [Formula: see text] in [Formula: see text] and [Formula: see text] photoproduction off quasi-free nucleons
por: Jermann, N., et al.
Publicado: (2023)

[Formula: see text] Is Decidable in [Formula: see text]
por: Bès, Alexis, et al.
Publicado: (2020)

Non-centrosymmetric superconductor Th[Formula: see text] Be[Formula: see text] Pt[Formula: see text] and heavy-fermion U[Formula: see text] Be[Formula: see text] Pt[Formula: see text] cage compounds
por: Koželj, P., et al.
Publicado: (2021)

[Formula: see text] helps select [Formula: see text] models for [Formula: see text] anomalies
por: Allanach, Ben, et al.
Publicado: (2022)

A multi-dimensional search for new heavy resonances decaying to boosted [Formula: see text] [Formula: see text] , [Formula: see text] [Formula: see text] , or [Formula: see text] [Formula: see text] boson pairs in the dijet final state at 13 [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2020)

Evolution of spin freezing transition and structural, magnetic phase diagram of Dy[Formula: see text] La[Formula: see text] Zr[Formula: see text] O[Formula: see text] (0 [Formula: see text] [Formula: see text] [Formula: see text] 2.0)
por: Sheetal, et al.
Publicado: (2021)

Weak and Strong Type [Formula: see text] –[Formula: see text] Estimates for Sparsely Dominated Operators
por: Frey, Dorothee, et al.
Publicado: (2018)

Order–disorder phase transition and elastic-to-plastic vortex creep crossover in a triclinic iron pnictide superconductor (Ca[Formula: see text] La[Formula: see text] )[Formula: see text] (Pt[Formula: see text] As[Formula: see text] )(Fe[Formula: see text] As[Formula: see text] )[Formula: see text]
por: Sundar, Shyam, et al.
Publicado: (2023)

Observation of [Formula: see text] and [Formula: see text] decays
por: Aaij, R., et al.
Publicado: (2017)

Cooper-pair distribution function [Formula: see text] for superconducting [Formula: see text] and [Formula: see text]
por: González-Pedreros, G. I., et al.
Publicado: (2021)

Measurement of the top quark mass in the [Formula: see text] and [Formula: see text] channels using [Formula: see text] [Formula: see text] ATLAS data
por: Aad, G., et al.
Publicado: (2015)

Studies of [Formula: see text] and [Formula: see text] mesons including the observation of the [Formula: see text] decay in proton-proton collisions at [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2018)

Pressure driven magnetic order in Sr[Formula: see text] Ca[Formula: see text] Co[Formula: see text] P[Formula: see text]
por: Forslund, Ola Kenji, et al.
Publicado: (2022)

Heine’s method and [Formula: see text] to [Formula: see text] transformation formulas
por: Bhatnagar, Gaurav
Publicado: (2018)

Probing the current-phase relation in Josephson point-contact junctions between [Formula: see text] In[Formula: see text] and [Formula: see text] K[Formula: see text] (FeAs)[Formula: see text] superconductors
por: Stepanov, Valeriy A., et al.
Publicado: (2021)

Fredholmness of multiplication of a weighted composition operator with its adjoint on [Formula: see text] and [Formula: see text]
por: Haji Shaabani, Mahmood
Publicado: (2018)

Pseudo-scalar Higgs boson production at N[Formula: see text] LO[Formula: see text] +N[Formula: see text] LL[Formula: see text]
por: Ahmed, Taushif, et al.
Publicado: (2016)

Measurement of [Formula: see text] polarisation in [Formula: see text] collisions at [Formula: see text] = 7 TeV
por: Aaij, R., et al.
Publicado: (2014)

Production of [Formula: see text] and [Formula: see text] in p–Pb collisions at [Formula: see text] TeV
por: Adamová, D., et al.
Publicado: (2017)

Final state interactions in [Formula: see text] decays: [Formula: see text] rule vs. [Formula: see text]
por: Buras, Andrzej J., et al.
Publicado: (2017)

Transition Property for [Formula: see text]-Power Free Languages with [Formula: see text] and [Formula: see text] Letters
por: Rukavicka, Josef
Publicado: (2020)

BHLS[Formula: see text] upgrade: [Formula: see text] spectra, muon HVP and the [[Formula: see text] ] system
por: Benayoun, M., et al.
Publicado: (2022)

On [Formula: see text] and some of its generalizations
por: Bai, Tingting
Publicado: (2018)

The equivalence between the [Formula: see text] stabilities of Jungck-type iterative schemes
por: Akewe, Hudson, et al.
Publicado: (2021)

Measurements of the [Formula: see text] [Formula: see text] production cross sections in the [Formula: see text] channel in proton–proton collisions at [Formula: see text] and [Formula: see text] and combined constraints on triple gauge couplings
por: Khachatryan, V., et al.
Publicado: (2015)

Categorical Quantum Models and Logics
por: Heunen, Chris
Publicado: (2009)

Evidence for an [Formula: see text] resonance in [Formula: see text] decays
por: Aaij, R., et al.
Publicado: (2018)

A dispersive analysis of [Formula: see text] and [Formula: see text]
por: Holz, Simon, et al.
Publicado: (2022)

[Formula: see text] generalization of the van Diejen model from the minimal [Formula: see text] conformal matter
por: Nazzal, Belal, et al.
Publicado: (2023)

Temperature-dependent optical constants of monolayer [Formula: see text] , [Formula: see text] , [Formula: see text] , and [Formula: see text] : spectroscopic ellipsometry and first-principles calculations
por: Liu, Hsiang-Lin, et al.
Publicado: (2020)

Study of [Formula: see text] and [Formula: see text] production in [Formula: see text] collisions at [Formula: see text] and search for anomalous quartic gauge couplings with the ATLAS experiment
por: Aaboud, M., et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_0j5jtugtmth3tsqv6cvvn9f6cq