Modularity and relevant logic

DOI10.1305/NDJFL/1093635079MaRDI QIDQ584243zbMATH OpenOpenAlexFDO

Authors 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

efficiencymodularityautomated reasoningrelevance logicrelevant logiccorrectnessAIlogical modulesprocedural derivations

Mathematics Subject Classification ID

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

Recommendations

• A logical analysis of modules in logic programming
• scientific article; zbMATH DE number 4181307
• scientific article; zbMATH DE number 48206
• scientific article; zbMATH DE number 5046357
• Inconsistency Tolerance

Cited in

(5)

• scientific article; zbMATH DE number 2209172 (Why is no real title available?)
• Formal Properties of Modularisation
• Metatheory of actions: beyond consistency
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)
• scientific article; zbMATH DE number 1390331 (Why is no real title available?)

This page was built for publication: Modularity and relevant logic

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