The existence of states based on Glivenko semihoops
From MaRDI portal
Publication:2085584
DOI10.1007/s00153-022-00830-wOpenAlexW4280652598MaRDI QIDQ2085584
Jiang Yang, Peng Fei He, Jun Tao Wang
Publication date: 18 October 2022
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-022-00830-w
Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
- States on finite linearly ordered IMTL-algebras
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices
- States on finite monoidal t-norm based algebras
- Bosbach states on fuzzy structures
- Subdirectly irreducible state-morphism BL-algebras
- Free-decomposability in varieties of pseudocomplemented residuated lattices
- States on semi-divisible generalized residuated lattices reduce to states on MV-algebras
- Every linear pseudo BL-algebra admits a state
- States on \(R_{0}\) algebras
- Mathematics behind fuzzy logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- States and internal states on semihoops
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- Averaging the truth-value in Łukasiewicz logic
- States on semi-divisible residuated lattices
- Free algebras in varieties of Stonean residuated lattices
- Probabilistic averaging in bounded \(R\ell\)-monoids
- Local and perfect semihoops
- Algebraic Analysis of Many Valued Logics
- Hoops and Fuzzy Logic
- Komplementäre Halbgruppen. Axiomatik und Arithmetik
- Komplementäre Halbgruppen Kongruenzen und Quotienten
- States on pseudo MV-algebras
