Angel J. Gil

Available identifiers

zbMath Open gil.angel-jMaRDI QIDQ368478

List of research outcomes

Publication	Date of Publication	Type
On Gentzen relations associated with finite-valued logics preserving degrees of truth	2013-09-23	Paper
Logics preserving degrees of truth from varieties of residuated lattices	2012-06-20	Paper
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices	2010-01-14	Paper
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains	2009-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5441551	2008-02-15	Paper
Automated Reasoning	2007-09-25	Paper
On the infinite-valued Łukasiewicz logic that preserves degrees of truth	2006-11-06	Paper
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras	2004-01-13	Paper
Protoalgebraic Gentzen systems and the cut rule	2000-08-14	Paper
On Gentzen Systems Associated with the Finite Linear MV-algebras	1997-08-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Angel J. Gil