scientific article; zbMATH DE number 3961578

MaRDI QIDQ3728879zbMATH OpenFDO

Authors Steve Giambrone

Publication date 1985

zbMATH Keywords

contractionless relevant logicsdecidabilitydecision proceduresGentzen systemsR-WRWT-WTW

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1248086
• Further Results on Proof Theories For Semilattice Logics
• \(TW_+\) and \(RW_+\) are decidable
• On purported Gentzen formulations of two positive relevant logics
• Four relevant Gentzen systems

Cited in

(6)

• On purported Gentzen formulations of two positive relevant logics
• \(TW_+\) and \(RW_+\) are decidable
• Gentzenization and decidability of some contraction-less relevant logics
• scientific article; zbMATH DE number 1248086 (Why is no real title available?)
• Four relevant Gentzen systems
• The Gentzenization and decidability of RW

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3728879)