Concepedia

Antoni Torrell

AT

Statistics

Publications

4

Citations

145

H-Index

4

Active since

1996

Affiliations

Universitat de Barcelona(Current)

Antoni Torrell is an author at Universitat de Barcelona specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal LogicNon-monotonic LogicRepresentation Theory

Publications per year

1996–2006

4

Publications

4

Glivenko like theorems in natural expansions of BCK‐logic

Roberto Cignoli, Antoni Torrell · Mathematical logic quarterly · 2004 · 54 citations

Formal Logic, Non-classical Logic, Non-monotonic Logic +10

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

Roberto Cignoli, Antoni Torrell · Studia Logica · 2006 · 50 citations

Glivenko Mtl-algebras, Abstract Algebra, Representation Theory +6

Boolean Products of MV-Algebras: Hypernormal MV-Algebras

Roberto Cignoli, Antoni Torrell · Journal of Mathematical Analysis and Applications · 1996 · 24 citations

Boolean Products, Algebraic Logic, Universal Algebra +1

Ultraproducts of Z with an Application to Many-Valued Logics

Joan Gispert i Brasó, Daniele Mundici, Antoni Torrell · Journal of Algebra · 1999 · 17 citations

Applied Logic, Computational Logic, Engineering +4

Rows per page

1–4 of 4