An undecidable relevant logic

DOI10.1002/malq.19730192601zbMath0301.02024OpenAlexW2127895161MaRDI QIDQ4055963

Robert K. Meyer, Richard Routley

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) Word problems, etc. in computability and recursion theory (03D40) General logic (03B99)

Related Items (1)

The undecidability of entailment and relevant implication

This page was built for publication: An undecidable relevant logic