Inference rules using local contexts

DOI10.1007/BF00297249zbMATH Open0715.03006MaRDI QIDQ751642FDOQ751642

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)

• 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

(7)

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

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)