scientific article; zbMATH DE number 2209921

zbMATH Open1078.03017MaRDI QIDQ5692906FDOQ5692906

Authors:

Publication date: 28 September 2005

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 28362
• Continuing Variations on a System of Gentzen
• scientific article; zbMATH DE number 3867321
• Subminimal negation
• Intuitionistic propositional logic without `contraction' but with `reductio'

zbMATH Keywords

intuitionistic logicconverse Ackermann propertycontraction axiomconstructive falsity

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (1)

• A syntactical study of the subminimal logic with Nelson negation

This page was built for publication:

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