Restricted arrow

DOI10.1007/s10992-008-9094-2zbMath1184.03013OpenAlexW3189620244MaRDI QIDQ839646

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)

Related Items (2)

Naive structure, contraction and paradox ⋮ TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY

Cites Work

• Relevant restricted quantification
• The semantics of entailment. II
• The semantics of entailment. III
• Positive modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Restricted arrow