Inference rules using local contexts

DOI10.1007/BF00297249MaRDI QIDQ751642zbMATH OpenFDO

Authors Leonard G. Monk

Publication date 1988

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

sequent calculiinference rulesinteractive proof development systemslocal contextslocalized formulasordered connectives

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 2087445
• The context of inference
• scientific article; zbMATH DE number 1341465
• Contextual reasoning distilled
• Publication:4941944
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Local conditioning in Bayesian networks
• scientific article; zbMATH DE number 1670573
• Local possibilistic logic

Cited in

(7)

• Local Confluence for Rules with Nested Application Conditions
• scientific article; zbMATH DE number 1961525 (Why is no real title available?)
• What holds in a context?
• Presenting and combining inference systems. Presentations with inference rules
• IMPS: An interactive mathematical proof system
• IMPS: An updated system description
• IMPS : An interactive mathematical proof system

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Inference rules using local contexts

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