Infinitary logic with infinite sequents: syntactic investigations

DOI10.1002/MALQ.202300011MaRDI QIDQ6561653FDOQ6561653

Authors: Matteo Tesi 

Publication date: 25 June 2024

Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Linear logic
• Proof theory. The first step into impredicativity
• Title not available (Why is that?)
• Neighborhood semantics for modal logic
• A short introduction to intuitionistic logic
• Title not available (Why is that?)
• Infinitary intuitionistic logic from a classical point of view
• An interpolation theorem for denumerably long formulas
• Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
• Neighborhood Semantics for Basic and Intuitionistic Logic
• Infinitary propositional intuitionistic logic
• On the proof theory of infinitary modal logic
• Arnon Avron on semantics and proof theory of non-classical logics
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic

This page was built for publication: Infinitary logic with infinite sequents: syntactic investigations

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