A square of oppositions in intuitionistic logic with strong negation
From MaRDI portal
Publication:346768
DOI10.1007/s11787-016-0144-1zbMath1403.03014OpenAlexW2320353775MaRDI QIDQ346768
Publication date: 30 November 2016
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-016-0144-1
Related Items
Cites Work
This page was built for publication: A square of oppositions in intuitionistic logic with strong negation