Ternary deductive systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F01%3A00001437" target="_blank" >RIV/61989592:15310/01:00001437 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Ternary deductive systems

Original language description

The concept of deductive system was introduced for Hilbert algebras by A. Diego. It was shown by W. Dudek that deductive systems and ideals coincide in Hilbert algebras. This particular case was generalized in (2) for universal algebras, where the concept of deductive system was defined in a quite general setting and was shown that in any algebra of a weakly regular variety deductive systems and congruence kernels coincide.It is shown that the concept used in (1) can be extended in universal algebra.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2001

Confidentiality

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

Article name in the collection

Algebra and Model Theory (Novosibirsk)

ISBN

5-7782-0175-3

ISSN

—

e-ISSN

—

Number of pages

5

Pages from-to

14-18

Publisher name

Novosibirsk State Technical University

Place of publication

Novosibirsk

Event location

Erlogol

Event date

—

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—