\(\supset\)E is admissible in ``true'' relevant arithmetic
type: Item
instance of: scholarly article
title: \(\supset\)E is admissible in ``true'' relevant arithmetic
zbMATH Open document ID: 0967.03016
DOI: 10.1023/A:1017990121294
author: Robert K. Meyer
published in: Journal of Philosophical Logic
publication date: 1999-03-09T00:00:00Z
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 1228494
zbMATH Keywords: relevant arithmetic
MaRDI profile type: Publication
cites work: Whither relevant arithmetic?
cites work: Begründung einer strengen Implikation
cites work: Q5730122
cites work: E, R AND γ
cites work: Relevant predication. I: The formal theory
cites work: Linear logic
cites work: On Tarski's formalization of predicate logic with identity
cites work: Q5547552
cites work: Inconsistent models for relevant arithmetics
cites work: On 2nd order intuitionistic propositional calculus with full comprehension
cites work: Q4117804
cites work: Q4732137
cites work: The semantics of entailment. III
cites work: Q4841568
cites work: Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
cites work: Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
description: scientific article; zbMATH DE number 1228494