scientific article; zbMATH DE number 3827829

zbMATH Open0523.03015MaRDI QIDQ3674619FDOQ3674619

Authors: Steve Giambrone 

Publication date: 1982

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

zbMATH Keywords

paraconsistencyparaconsistent logicGentzen systemsrelevance logicrelevant logiccontractionless logicsemilattice logicBoolean extensionspositive fragmentscontraction axiompositive semilattice relevant logicsproof theoretic investigationproof-theoretic decision procedures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Proof theory and constructive mathematics (03F99)

Cited In (3)

• Completeness and conservative extension results for some Boolean relevant logics
• Four relevant Gentzen systems
• 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 Q3674619)