Unified correspondence and proof theory for strict implication

DOI10.1093/logcom/exw012zbMath1444.03082arXiv1604.08822OpenAlexW2344102368MaRDI QIDQ2983401

Zhiguang Zhao, Minghui Ma

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.08822

zbMATH Keywords

sequent calculusproof theorystrict implicationunified correspondenceregular modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (5)

Residuated expansions of lattice-ordered structures ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• SQEMA

This page was built for publication: Unified correspondence and proof theory for strict implication