The implicational fragment of R-mingle

DOI10.3792/PJA/1195520115MaRDI QIDQ5633971zbMATH OpenOpenAlexFDO

Authors Saburo Tamura

Publication date 1971

Published in Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pja/1195520115

Mathematics Subject Classification ID

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

Cites work

• A completeness theorem in modal logic
• A System for Strict Implication
• E, R AND γ
• scientific article; zbMATH DE number 3086346 (Why is no real title available?)
• Intensional models for first degree formulas
• The pure calculus of entailment
• Untersuchungen über das logische Schliessen. I

Cited in

(5)

• The Hoggatt-Bergum conjecture on \(D(-1)\)-triples \(\{F_{2k+1}\), \(F_{2k+3}\), \(F_{2k+5}\}\) and integer points on the attached elliptic curves
• Fragments of R-mingle
• On \(D(-1)\)-quadruples
• Relevant entailment—semantics and formal systems
• A note on contradictions in Francez-Weiss logics

This page was built for publication: The implicational fragment of $R$-mingle

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