Buscar
Mostrando ítems 1-10 de 20
A neighbourhood semantic for the Logic TK
(2011)
The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced ...
Logic TK: algebric notions from Tarski's consequence operator
(2010)
Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence ...
Differential simplicity in polynomial rings and algebraic independence of power series
(London Math SocLondonInglaterra, 2003)
Superálgebras com involução graduada: classificação das variedades minimais de crescimento quadrático
(Universidade Federal de Minas GeraisBrasilICX - DEPARTAMENTO DE MATEMÁTICAPrograma de Pós-Graduação em MatemáticaUFMG, 2021-03-19)
Let V be a variety of superalgebras with graded involution and let $\{\cgri(v)\}_{n\geq 1}$ be its sequence of *-graded codimensions. We say that V has polynomial growth $n^k$ if asymptotically $\cgri(V)\approx an^k$, for ...