Restricted arrow

DOI10.1007/S10992-008-9094-2MaRDI QIDQ839646zbMATH OpenOpenAlexFDO

Authors C. M. Asmus

Publication date 2 September 2009

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-008-9094-2

zbMATH Keywords

substructural logicrelevant logicrestricted conditionalstep-by-step method

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3965197
• Arrow categories
• Restriction access
• Restricted systems
• Arrow-Hexagons
• On the Arrow property

Cites work

• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• An introduction to non-classical logic
• Modal logic
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Positive modal logic
• Relevant restricted quantification
• The semantics of entailment. II
• The semantics of entailment. III

Cited in

(6)

• Relevant restricted quantification
• Transfinite numbers in paraconsistent set theory
• Connexive restricted quantification
• Restricted CRCW PRAMs
• Naive structure, contraction and paradox
• Adding the relevant restricted quantification

This page was built for publication: Restricted arrow

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