scientific article; zbMATH DE number 7700618

DOI10.4230/LIPICS.FSCD.2021.13MaRDI QIDQ6159928FDOQ6159928

Authors: Didier Galmiche, Marta Gawek, Daniel Méry 

Publication date: 23 June 2023

Title of this publication is not available (Why is that?)

Recommendations

• Intuitionistic modality and Beth semantics
• scientific article; zbMATH DE number 4164793
• Intuitionistic Letcc via Labelled Deduction
• scientific article; zbMATH DE number 4212001
• Some remarks on semantics and expressiveness of the sentential calculus with identity
• Natural deduction systems for intuitionistic logic with identity
• On the Beth properties of some intuitionistic modal logics
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
• Labelled proof systems for intuitionistic provability
• Base-extension semantics for intuitionistic sentential logic

zbMATH Keywords

intuitionistic logicalgebraic semanticslabelled deductionbeth models

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Cited In (1)

• Intuitionistic Letcc via Labelled Deduction

This page was built for publication:

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