Beth's tableaux for relevant logic

DOI10.1305/NDJFL/1093882811zbMath0439.03005OpenAlexW1992094813MaRDI QIDQ1142203

J. F. Pabion

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882811

zbMATH Keywords

relevant logicsemantic tableauxBeth's tableauxrelevant implication with quantification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Relevance-Sensitive Truth-Trees

This page was built for publication: Beth's tableaux for relevant logic