HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Visser logic

Publications
A new Glivenko Theorem
Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Copyright © 2012-2025 easychair.org. All rights reserved.