Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic

DOI10.1093/LOGCOM/EXAB040OpenAlexW3182948686MaRDI QIDQ5163982

Sara Negri, Matteo Tesi

Publication date: 9 November 2021

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exab040

zbMATH Keywords

proof theoryinfinitary logicintuitionistic logicneighbourhood semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (2)

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ On the proof theory of infinitary modal logic

This page was built for publication: Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic