On a contraction-less intuitionistic propositional logic with conjunction and fusion

DOI10.1023/A:1005238908087zbMath0953.03026OpenAlexW1495898183MaRDI QIDQ1576374

Ventura Verdú, Romà J. Adillon

Publication date: 29 January 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005238908087

zbMATH Keywords

algebraic semanticssubstructural logicintuitionistic logicresiduated latticesdeductive systemequational systemalgebraizable Gentzen system

Mathematics Subject Classification ID

Algebraic logic (03G99) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

A comparison between monoidal and substructural logics ⋮ 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 ⋮ Correspondences between gentzen and hilbert systems

This page was built for publication: On a contraction-less intuitionistic propositional logic with conjunction and fusion