Correction to Gentzen formulations of two positive relevance logics

DOI10.1007/BF02584063zbMath0486.03013OpenAlexW4236034817MaRDI QIDQ1164620

Aleksandar Kron

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02584063

zbMATH Keywords

cut theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

On purported Gentzen formulations of two positive relevant logics

Cites Work

• Gentzen formulations of two positive relevance logics

This page was built for publication: Correction to Gentzen formulations of two positive relevance logics