scientific article; zbMATH DE number 2015401

zbMATH Open1040.03016MaRDI QIDQ4438232FDOQ4438232

Authors: Romà J. Adillon, Ventura Verdú 

Publication date: 9 December 2003

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• On three implication-less fragments of t-norm based fuzzy logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fully adequate Gentzen systems and the deduction theorem
• On two fragments with negation and without implication of the logic of residuated lattices
• A Gentzen system for involutive 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)