All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Inexact residuation in effect algebras

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F22%3A73609351" target="_blank" >RIV/61989592:15310/22:73609351 - isvavai.cz</a>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Inexact residuation in effect algebras

  • Original language description

    We study the connections of effect and pseudoeffect algebras to sub-structural logics which are defined by means of residuated lattices and posets. Avoiding conditionally residuated structures where adjointness holds only for those elements for which the operations appearing in the adjointness condition are defined, we choose to globally define an implication, thereby however relaxing the requirement of its value being unique. We call such an implication inexact. In this approach, conjunction in effect algebras is naturally defined as a partial operation derived from the partial addition operation, and implication is given via the lower cone of two elements instead of their infimum. It turns out that the obtained structure satisfies some kind of adjointness. We also extend our methods to cover pseudoeffect algebras introduced by Dvurecenskij and Vetterlein.

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database

  • CEP classification

  • OECD FORD branch

    10101 - Pure mathematics

Result continuities

  • Project

    <a href="/en/project/GF20-09869L" target="_blank" >GF20-09869L: The many facets of orthomodularity</a><br>

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Others

  • Publication year

    2022

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Name of the periodical

    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING

  • ISSN

    1542-3980

  • e-ISSN

    1542-3999

  • Volume of the periodical

    38

  • Issue of the periodical within the volume

    1-2

  • Country of publishing house

    US - UNITED STATES

  • Number of pages

    23

  • Pages from-to

    57- 79

  • UT code for WoS article

    000733593800004

  • EID of the result in the Scopus database

    2-s2.0-85128927314