An undecidable relevant logic

DOI10.1002/MALQ.19730192601zbMATH Open0301.02024OpenAlexW2127895161MaRDI QIDQ4055963FDOQ4055963

Authors: Robert K. Meyer, Richard Sylvan 

Publication date: 1973

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19730192601

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) General logic (03B99) Word problems, etc. in computability and recursion theory (03D40)

Cited In (1)

• The undecidability of entailment and relevant implication

This page was built for publication: An undecidable relevant logic

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