Temat: algebraic logic - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Weak products of universal algebras
Autorzy:: Sain, Ildikó
Powiązania:: https://bibliotekanauki.pl/articles/1361096.pdf
Data publikacji:: 1993
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: universal algebra
algebraic logic
cylindric algebras
Opis:: Weak direct products of arbitrary universal algebras are introduced. The usual notion for groups and rings is a special case. Some universal algebraic properties are proved and applications to cylindric and polyadic algebras are considered.
Źródło:: Banach Center Publications; 1993, 28, 1; 311-318
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: On the Leibniz congruences
Autorzy:: Font, Josep
Powiązania:: https://bibliotekanauki.pl/articles/1361077.pdf
Data publikacji:: 1993
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: deductive system
protoalgebraic logic
Gentzen calculus
closure operator
abstract logic
algebraizable logic
Leibniz congruence
selfextensional logic
logical matrices
algebraic logic
Opis:: The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability relation modulo the theory). For protoalgebraic deductive systems the class of algebras associated in general turns out to be the class of algebra reducts of reduced matrices, which is the algebraic counterpart usually considered for this large class of deductive systems; but in the general case the new class of algebras shows a better behaviour.
Źródło:: Banach Center Publications; 1993, 28, 1; 17-36
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja