An undecidable relevant logic

DOI10.1002/MALQ.19730192601MaRDI QIDQ4055963zbMATH OpenOpenAlexFDO

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

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) 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)