The implicational fragment of $R$-mingle

DOI10.3792/pja/1195520115zbMath0227.02007OpenAlexW2066380261MaRDI QIDQ5633971

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)

Related Items

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

Cites Work

• Unnamed Item
• Untersuchungen über das logische Schliessen. I
• A completeness theorem in modal logic
• The pure calculus of entailment
• E, R AND γ
• Intensional models for first degree formulas
• A System for Strict Implication