On purported Gentzen formulations of two positive relevant logics

DOI10.1007/BF00394443zbMath0586.03015OpenAlexW2081512322MaRDI QIDQ1071751

Steve Giambrone

Publication date: 1985

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

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

zbMATH Keywords

Gentzen systems

Mathematics Subject Classification ID

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

Related Items (1)

Four relevant Gentzen systems

Cites Work

• Gentzen formulations of two positive relevance logics
• Correction to Gentzen formulations of two positive relevance logics
• Cut-elimination theorem for relevant logics
• Display logic
• An axiomatic version of positive semilattice relevance logic
• An Interpretation of Many-Valued Logic
• Semantics for relevant logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On purported Gentzen formulations of two positive relevant logics