Gentzenizations of relevant logics without distribution. I

DOI10.2307/2275666zbMATH Open0862.03012OpenAlexW2161495932MaRDI QIDQ4894717FDOQ4894717

Authors: Ross T. Brady 

Publication date: 7 October 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275666

zbMATH Keywords

decidabilityinterpolabilityGentzenizationdistributionless relevant logic LBQ

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• The semantics and proof theory of linear logic
• Title not available (Why is that?)
• Linear logic
• The simple consistency of a set theory based on the logic CSQ
• A metacompleteness theorem for contraction-free relevant logics
• Metacompleteness
• Gentzenization and decidability of some contraction-less relevant logics
• Logics without the contraction rule
• Depth relevance of some paraconsistent logics

Cited In (8)

• Logic—The Big Picture
• Solution to a problem of Ono and Komori
• CE is not a conservative extension of E
• Free semantics
• Distribution in the logic of meaning containment and in quantum mechanics
• Gentzenizations of relevant logics with distribution
• Algebraic Kripke-style semantics for relevance logics
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: Gentzenizations of relevant logics without distribution. I

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