scientific article; zbMATH DE number 2015401

MaRDI QIDQ4438232zbMATHFDO

Authors Romà J. Adillon, Ventura Verdú

Publication date 9 December 2003

zbMATH Keywords

algebraic semanticsexternal deductive systemsubstructural Gentzen system

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Recommendations

• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• A Gentzen system for involutive residuated lattices
• scientific article; zbMATH DE number 440121
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Fully adequate Gentzen systems and the deduction theorem

Cited in

(6)

• scientific article; zbMATH DE number 2119403 (Why is no real title available?)
• Fully adequate Gentzen systems and the deduction theorem
• scientific article; zbMATH DE number 440121 (Why is no real title available?)
• A Gentzen system for involutive residuated lattices
• On three implication-less fragments of t-norm based fuzzy logics
• On two fragments with negation and without implication of the logic of residuated lattices

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 Q4438232)