Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus

zbMATH Open1338.03007MaRDI QIDQ2809674FDOQ2809674

Authors: Romas Alonderis 

Publication date: 30 May 2016

Published in: Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

Recommendations

• Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
• Rule-irredundancy and the sequent calculus for core logic
• Sequent Calculi for Intuitionistic Linear Logic with Strong Negation
• scientific article; zbMATH DE number 6287598
• Publication:5750390
• scientific article; zbMATH DE number 218517
• A sequent calculus for a negative free logic
• Admissible rules in the implication-negation fragment of intuitionistic logic
• A procedural semantics for well-founded negation in logic programs
• Initial semantics of logic specifications with negation

zbMATH Keywords

sequent calculusloop-rule specialization

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)

This page was built for publication: Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus

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