Modularity and relevant logic

DOI10.1305/ndjfl/1093635079zbMath0693.03010OpenAlexW1991023298MaRDI QIDQ584243

James W. Garson

Publication date: 1989

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

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

zbMATH Keywords

efficiencycorrectnessautomated reasoningrelevant logicrelevance logicmodularityAIlogical modulesprocedural derivations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

Metatheory of actions: beyond consistency

This page was built for publication: Modularity and relevant logic