The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions

DOI10.1016/J.APAL.2023.103285MaRDI QIDQ6156417zbMATH OpenFDO

Authors Matteo Tesi, Sara Negri

Publication date 13 June 2023

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

proof theoryintuitionistic logiccut eliminationinfinitary logicmodal embedding

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 949397 (Why is no real title available?)
• A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
• An introduction to non-classical logic. From if to is
• Constructivism in mathematics. An introduction. Volume I
• Cut Elimination in the Presence of Axioms
• Does the deduction theorem fail for modal logic?
• Duality for \(\kappa\)-additive complete atomic modal algebras
• From axioms to synthetic inference rules via focusing
• Geometric Rules in Infinitary Logic
• Glivenko sequent classes in the light of structural proof theory
• Infinitary intuitionistic logic from a classical point of view
• Infinitary propositional intuitionistic logic
• Neighborhood Semantics for Basic and Intuitionistic Logic
• Neighborhood semantics for modal logic
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
• Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
• On Glinvenko sequent classes
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Remarks on Barr's theorem: proofs in geometric theories
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(4)

• Infinitary logic with infinite sequents: syntactic investigations
• Iterated elementary embeddings and the model theory of infinitary logic
• Subintuitionistic logics and their modal companions: a nested approach
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic

This page was built for publication: The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions

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