Inference rules using local contexts

DOI10.1007/BF00297249zbMATH Open0715.03006MaRDI QIDQ751642FDOQ751642

Leonard G. Monk

Publication date: 1988

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

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

zbMATH Keywords

sequent calculiinference rulesinteractive proof development systemslocal contextslocalized formulasordered connectives

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Title not available (Why is that?)

Cited In (7)

• Local Confluence for Rules with Nested Application Conditions
• Title not available (Why is that?)
• 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

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)