Deductive systems in universal algebra

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F04%3A00002060" target="_blank" >RIV/61989592:15310/04:00002060 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Deductive systems in universal algebra

Original language description

We introduce the concept of a deductive system of an arbitrary algebra. This generalizes the concept of a deductive system of a Hilbert algebra which is the set closed under Modus Ponens and containing 1. These deductive systems are related with congruence kernels.

Czech name

Deduktivní systémy v univerzální algebře

Czech description

Zavádí se pojem deduktivního systému v libovolné algebře jako zobecní deduktivních systémů Hilbertových algeber. Tyto deduktivní systémy souvisejí s kongruenčními jádry.

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2004

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

Contributions to General Algebra

ISBN

3-7084-0121-2

ISSN

—

e-ISSN

—

Number of pages

206

Pages from-to

4-14

Publisher name

Johannes Heyn Verlag

Place of publication

Klagenfurt

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—