A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic

MaRDI QIDQ7167065arXivFDO

Authors Amirhossein Akbar Tabatabai, M. Alizadeh, Alireza Mahmoudian

Publication date 2025

Published in arXiv

arXiv classification

math.LO

This page was built for publication: A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7167065)