scientific article; zbMATH DE number 431933

MaRDI QIDQ3138707zbMATH OpenFDO

Authors J. Agustí-Cullell, Francesc Esteva, Pere García, Lluís Godo

Publication date 20 September 1994

zbMATH Keywords

entailment systemsinstitutionmultiple-valued logicstruth-values algebra

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited in

(3)

• Refinement in hybridised institutions
• Structured specification of paraconsistent transition systems
• The institution of many-logics modal logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138707)