Geodesic
Simple Logics for Basic Algebras
Bulletin of the Section of Logic, Tome 44 (2015) no. 3-4.

Voir la notice de l'article provenant de la source Library of Science

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. 
@article{BSL_2015_44_3-4_a3,
     author = {C{\i}̅rulis, Ja̅nis},
     title = {Simple {Logics} for {Basic} {Algebras}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {44},
     number = {3-4},
     year = {2015},
     url = {http://geodesic.mathdoc.fr/item/BSL_2015_44_3-4_a3/}
}
TY  - JOUR
AU  - Cı̅rulis, Ja̅nis
TI  - Simple Logics for Basic Algebras
JO  - Bulletin of the Section of Logic
PY  - 2015
VL  - 44
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2015_44_3-4_a3/
ID  - BSL_2015_44_3-4_a3
ER  - 
%0 Journal Article
%A Cı̅rulis, Ja̅nis
%T Simple Logics for Basic Algebras
%J Bulletin of the Section of Logic
%D 2015
%V 44
%N 3-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2015_44_3-4_a3/
%F BSL_2015_44_3-4_a3
Cı̅rulis, Ja̅nis. Simple Logics for Basic Algebras. Bulletin of the Section of Logic, Tome 44 (2015) no. 3-4. http://geodesic.mathdoc.fr/item/BSL_2015_44_3-4_a3/