Translating Metainferences Into Formulae

DOI10.26686/AJL.V18I7.6801zbMath1496.03091OpenAlexW4225526771MaRDI QIDQ5021996

Ariel Jonathan Roffé, Federico Matias Pailos

Publication date: 17 January 2022

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.26686/ajl.v18i7.6801

Mathematics Subject Classification ID

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

Related Items (1)

Inferential constants

This page was built for publication: Translating Metainferences Into Formulae