Derivability of rules from rule complexes

DOI10.12775/LLP.2002.002MaRDI QIDQ4803956zbMATH OpenFDO

Authors Anna Gomolińska

Publication date 30 June 2003

Published in Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

activation of rulesderivability of rulesgeneralized game theoryrule complex

Mathematics Subject Classification ID

Applications of game theory (91A80) Abstract deductive systems (03B22)

Recommendations

• Derivability of admissible rules
• scientific article; zbMATH DE number 3557753
• Valuational semantics of rule derivability
• Deriving proof rules from continuation semantics
• Compositionality of rewriting rules with conditions
• Rule Calculus: Semantics, Axioms and Applications
• Admissible and derivable rules in intuitionistic logic
• Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

Cited in

(2)

• Rules and Derived Rules
• Rule-Generation Theorem and its Applications

This page was built for publication: Derivability of rules from rule complexes

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