Subformula linking for intuitionistic logic with application to type theory
type: Item
instance of: scholarly article
title: Subformula linking for intuitionistic logic with application to type theory
DOI: 10.1007/978-3-030-79876-5_12
author: Kaustuv Chaudhuri
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437080
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 12
OpenAlex ID: W3178958520
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Abella: A System for Reasoning about Relational Specifications
cites work: Q4490725
cites work: Subformula Linking as an Interaction Method
cites work: A logical characterization of forward and backward chaining in the inverse method
cites work: Q3491030
cites work: A two-level logic approach to reasoning about computations
cites work: A framework for defining logics
cites work: Focusing and polarization in linear, intuitionistic, and classical logics
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: MELL in the calculus of structures
cites work: A Local System for Intuitionistic Logic
cites work: Types for Proofs and Programs
description: scientific article; zbMATH DE number 7437080