Publication:3674619
From MaRDI portal
zbMath0523.03015MaRDI QIDQ3674619
Publication date: 1982
paraconsistencyrelevant logicrelevance logicparaconsistent logicGentzen systemscontractionless logicsemilattice logicBoolean extensionspositive fragmentscontraction axiompositive semilattice relevant logicsproof theoretic investigationproof-theoretic decision procedures
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Proof theory and constructive mathematics (03F99)
Related Items
Completeness and conservative extension results for some Boolean relevant logics, Four relevant Gentzen systems, On purported Gentzen formulations of two positive relevant logics