Rule-Generation Theorem and its Applications

DOI10.18778/0138-0680.47.4.03MaRDI QIDQ5742616zbMATH OpenOpenAlexWikidataFDO

Authors Andrzej Indrzejczak

Publication date 15 May 2019

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.47.4.03

zbMATH Keywords

cut eliminationextralogical rulesproof theorysequent calculus

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1531813
• scientific article; zbMATH DE number 2043394
• Rule Calculus: Semantics, Axioms and Applications
• scientific article; zbMATH DE number 1931911
• Derivability of rules from rule complexes
• Generation of Rule-Based Constraint Solvers: Combined Approach
• scientific article; zbMATH DE number 2222701
• On the number of rule applications in constraint programs
• A novel algorithm for generalized rule induction

Cited in

(11)

• Free logics are cut-free
• Tutorial on admissible rules in Gudauri
• scientific article; zbMATH DE number 1927428 (Why is no real title available?)
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Fregean Description Theory in Proof-Theoretical Setting
• Functional Completeness in CPL via Correspondence Analysis
• scientific article; zbMATH DE number 2222701 (Why is no real title available?)
• scientific article; zbMATH DE number 2247256 (Why is no real title available?)
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• A novel approach to equality
• The logicality of equality

This page was built for publication: Rule-Generation Theorem and its Applications

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