Admissible rules: from characterizations to applications

DOI10.1007/978-3-642-32621-9_4MaRDI QIDQ2915017zbMATH OpenOpenAlexFDO

Authors George Metcalfe

Publication date 21 September 2012

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32621-9_4

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• Admissible Rules of Modal Logics
• Proof theory for admissible rules
• Consequence relations and admissible rules
• Admissibility of logical inference rules
• On the rules of intermediate logics

Cited in

(22)

• Proof theory for admissible rules
• Program-substitution and admissibility of rules in algorithmic logic
• Lehmann-unbiased decision rules: Admissibility and invariance
• On self-admissible quasi-characterizing inference rules
• Admissibility in positive logics
• Sugihara algebras: admissibility algebras via the test spaces method
• Absorbing the structural rules in the sequent calculus with additional atomic rules
• Characteristic inference rules
• Special issue on admissible rules and unification
• Admissible rules and the Leibniz hierarchy
• On rules
• Consequence relations and admissible rules
• Structural completeness in propositional logics of dependence
• Tutorial on admissible rules in Gudauri
• Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
• What is an inference rule?
• Classically archetypal rules
• scientific article; zbMATH DE number 2222701 (Why is no real title available?)
• Preservation of admissible rules when combining logics
• Structural and universal completeness in algebra and logic
• _2-rule systems and inductive classes of Gödel algebras
• Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic

This page was built for publication: Admissible rules: from characterizations to applications

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