Modularity and relevant logic

DOI10.1305/NDJFL/1093635079zbMATH Open0693.03010OpenAlexW1991023298MaRDI QIDQ584243FDOQ584243

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• Formal Properties of Modularisation
• Metatheory of actions: beyond consistency
• Title not available (Why is that?)
• Title not available (Why is that?)

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)