Open AccessLogics preserving degrees of truth from varieties of residuated lattices
Author(s) -
Félix Bou,
Francesc Esteva,
Josep M. Font-Llagunes,
Ángel J. Gil,
Lluı́s Godo,
Antoni Torrens,
Ventura Verdú
Publication year - 2011
Publication title -
journal of logic and computation
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.475
H-Index - 54
eISSN - 1465-363X
pISSN - 0955-792X
DOI - 10.1093/logcom/exr003
Subject(s) - argument (complex analysis) , mathematics , calculus (dental) , pure mathematics , epistemology , computer science , algebra over a field , discrete mathematics , philosophy , medicine , dentistry
In the recent years, several formal approaches to the specification of normative multi-agent systems (MASs) and artificial institutions have been proposed. The aim of this article is to advance the state of the art in this area by proposing an approach ...
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom