Results 241 to 250 of about 122,674 (274)

Free L-algebras

Journal of Symbolic Logic, 1969
Dummett's LC [1] is a system which characterizes all formulas of the propositional calculus which are valid in every chain (for definitions and notation see the first section of [2]). An L-algebra is a Heyting algebra in which (x → y) + (y → x) = 1 for all x, y.
openaire   +2 more sources

Point-Free, Set-Free Concrete Linear Algebra

2011
Abstract linear algebra lets us reason and compute with collections rather than individual vectors, for example by considering entire subspaces. Its classical presentation involves a menagerie of different settheoretic objects (spaces, families, mappings), whose use often involves tedious and non-constructive pointwise reasoning; this is in stark ...
openaire   +1 more source

Free Associative Algebras

Bulletin of the London Mathematical Society, 1969
openaire   +1 more source

Free Lie Algebras

1993
Abstract Although Lie polynomials first appeared at the turn of the century, there have been many recent developments especially from the point of view of representation theory. This book covers all aspects, with emphasis on the algebraic and combinatorial point of view as well as representation theory.
openaire   +1 more source

Automorphisms of free metabelian Leibniz algebras

Communications in Algebra, 2021
Zeynep Ozkurt
exaly  

Automorphisms of the Category of Free Finitely Generated Algebras

Algebra and Logic, 2022
Elena Aladova
exaly  

Free postL-algebras

Algebra Universalis, 1979
openaire   +1 more source

Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2

Studia Logica, 2006
Roberto Cignoli
exaly  

Free mal'tsev algebras and alternative algebras

Algebra and Logic, 1982
openaire   +3 more sources

Polynomial and Poisson dependence in free Poisson algebras and free Poisson fields

Journal of Algebra, 2012
Ivan Shestakov
exaly