Gentzen formulations of two positive relevance logics

DOI10.1007/BF00713549zbMath0472.03016MaRDI QIDQ1158143

Aleksandar Kron

Publication date: 1980

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

zbMATH Keywords

cut theorem

Mathematics Subject Classification ID

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

Related Items (3)

Correction to Gentzen formulations of two positive relevance logics ⋮ Four relevant Gentzen systems ⋮ On purported Gentzen formulations of two positive relevant logics

Cites Work

• Unnamed Item
• On disjunctions and existential statements in intuitionistic systems of logic
• Deduction Theorems for T, E and R Reconsidered

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