scientific article; zbMATH DE number 3961578

zbMATH Open0597.03010MaRDI QIDQ3728879FDOQ3728879

Authors: Steve Giambrone 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

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