PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2015 | 44 | 3-4 |
Tytuł artykułu

Simple Logics for Basic Algebras

Treść / Zawartość
Warianty tytułu
Języki publikacji
Abstrakty
EN
An MV-algebra is an algebra (A, ⊕, ¬, 0), where (A, ⊕, 0) is a commutative monoid and ¬ is an idempotent operation on A satisfying also some additional axioms. Basic algebras are similar algebras that can roughly be characterised as nonassociative (hence, also non-commutative) generalizations of MV-algebras. Basic algebras and commutative basic algebras provide an equivalent algebraic semantics in the sense of Blok and Pigozzi for two recent logical systems. Both are Hilbert-style systems, with implication and negation as the primitive connectives. We present a considerably simpler logic, LB, for basic algebras, where implication and falsum are taken as primitives. We also consider some subvarieties of basic algebras known in the literature, discuss classes of implicational algebras term-equivalent to each of these varieties, and construct axiomatic extensions of LB for which these classes serve as equivalent algebraic semantics.
Słowa kluczowe
Rocznik
Tom
44
Numer
3-4
Opis fizyczny
Daty
wydano
2015
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
URI
http://hdl.handle.net/11089/17903
Identyfikator YADDA
bwmeta1.element.hdl_11089_17903
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.