scientific article; zbMATH DE number 3961578

MaRDI QIDQ3728879zbMATH OpenFDO

Authors Steve Giambrone

Publication date 1985

zbMATH Keywords

decidabilityGentzen systemsdecision proceduresRWTWcontractionless relevant logicsR-WT-W

Mathematics Subject Classification ID

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

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

(5)

• The Gentzenization and decidability of RW
• \(TW_+\) and \(RW_+\) are decidable
• Four relevant Gentzen systems
• On purported Gentzen formulations of two positive relevant logics
• Gentzenization and decidability of some contraction-less relevant logics

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)