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”

Filters of implication reducts of basic algberas

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F14%3A33151005" target="_blank" >RIV/61989592:15310/14:33151005 - isvavai.cz</a>

  • Result on the web

    <a href="http://download.springer.com/static/pdf/435/art%253A10.1007%252Fs00500-013-1200-x.pdf?auth66=1425371711_416e78ddc32e323d3a82d2837a1fc42d&ext=.pdf" target="_blank" >http://download.springer.com/static/pdf/435/art%253A10.1007%252Fs00500-013-1200-x.pdf?auth66=1425371711_416e78ddc32e323d3a82d2837a1fc42d&ext=.pdf</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1007/s00500-013-1200-x" target="_blank" >10.1007/s00500-013-1200-x</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Filters of implication reducts of basic algberas

  • Original language description

    Since basic algebras were introduced as a common generalization of MV-algebras and orthomodular lattices, their implication reducts form a common generalization of BCK-algebras and orthoimplication algebras introduced by J. C. Abbott. As shown in our previous paper, congruences in these implication reducts are in a one-to-one correspondence with their kernels. Hence, to characterize congruences it is enough to describe its kernels which is done in the paper.

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

  • CEP classification

    BA - General mathematics

  • OECD FORD branch

Result continuities

  • Project

    Result was created during the realization of more than one project. More information in the Projects tab.

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2014

  • 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

    Soft Computing: a fusion of foundations, methodologies and applications

  • ISSN

    1432-7643

  • e-ISSN

  • Volume of the periodical

    18

  • Issue of the periodical within the volume

    5

  • Country of publishing house

    DE - GERMANY

  • Number of pages

    4

  • Pages from-to

    849-852

  • UT code for WoS article

    000334522300003

  • EID of the result in the Scopus database