Multi-focused proofs with different polarity assignments
type: Item
instance of: scholarly article
title: Multi-focused proofs with different polarity assignments
zbMATH Open document ID: 1394.03070
author: Elaine Pimentel
author: Vivek Nigam
author: João Neto
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F20
zbMATH DE Number: 6862948
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: proof systems
zbMATH Keywords: focusing
zbMATH Keywords: identity of proofs
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.06.011
OpenAlex ID: W2465546786
Wikidata QID: Q57850714
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Focussing and proof construction
cites work: Focused linear logic and the \(\lambda\)-calculus
cites work: A Systematic Approach to Canonicity in the Classical Sequent Calculus
cites work: A logical characterization of forward and backward chaining in the inverse method
cites work: Q4842975
cites work: Logical Approaches to Computational Barriers
cites work: Yet another bijection between sequent calculus and natural deduction
cites work: On the unity of logic
cites work: Q4474830
cites work: Focusing and Polarization in Intuitionistic Logic
cites work: Focusing and polarization in linear, intuitionistic, and classical logics
cites work: Uniform proofs as a foundation for logic programming
cites work: A formal framework for specifying sequent calculus proof systems
cites work: A framework for proof systems
DOI: 10.1016/J.ENTCS.2016.06.011
description: scientific article; zbMATH DE number 6862948