The implicational fragment of R-mingle

DOI10.3792/PJA/1195520115zbMATH Open0227.02007OpenAlexW2066380261MaRDI QIDQ5633971FDOQ5633971

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

• Untersuchungen über das logische Schliessen. I
• A completeness theorem in modal logic
• E, R AND γ
• Title not available (Why is that?)
• The pure calculus of entailment
• Intensional models for first degree formulas
• A System for Strict Implication

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)