scientific article; zbMATH DE number 2064306

MaRDI QIDQ4461807zbMATH OpenFDO

Authors Jean-Yves Béziau

Publication date 18 May 2004

zbMATH Keywords

intuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22)

Recommendations

• scientific article; zbMATH DE number 753772
• Deduction theorems for weak implicational logics
• Rules in relevant logic. I: Semantic classification
• Embedding formalisms: hypersequents and two-level systems of rules
• On the definition of ‘formal deduction’

Cited in

(8)

• Admissibility in positive logics
• On negation: Pure local rules
• scientific article; zbMATH DE number 3873309 (Why is no real title available?)
• Axiomatic System, Deduction and Implication
• Rules and Derived Rules
• The Lvov-Warsaw school: a true mythology
• Metalogic, Schopenhauer and universal logic
• A Classification of Improper Inference Rules

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 Q4461807)