Strong negation in intuitionistic style sequent systems for residuated lattices

From MaRDI portal
Publication:2922496

DOI10.1002/malq.201300016zbMath1343.03020OpenAlexW1596140841MaRDI QIDQ2922496

Michał Kozak

Publication date: 10 October 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201300016




Related Items



Cites Work


This page was built for publication: Strong negation in intuitionistic style sequent systems for residuated lattices