POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION

From MaRDI portal
Publication:6123585

DOI10.1017/jsl.2022.76arXiv2112.07518OpenAlexW4309005192MaRDI QIDQ6123585

Sam Adam-Day, David Gabelaia, Vincenzo Marra, Nick Bezhanishvili

Publication date: 5 April 2024

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.07518






Cites Work


This page was built for publication: POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION