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

MaRDI QIDQ2809674zbMATH OpenFDO

Authors Romas Alonderis

Publication date 30 May 2016

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

zbMATH Keywords

sequent calculusloop-rule specialization

Mathematics Subject Classification ID

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

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

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)