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

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

Cited in

(4)

• Fragments of R-mingle
• On \(D(-1)\)-quadruples
• 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
• Relevant entailment—semantics and formal systems

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)