scientific article; zbMATH DE number 3882410

zbMATH Open0554.03018MaRDI QIDQ3216636FDOQ3216636

Janusz Czelakowski

Publication date: 1983

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

Recommendations

• Algebraic aspects of deduction theorems
• Local deductions theorems
• scientific article
• scientific article; zbMATH DE number 3902629
• scientific article; zbMATH DE number 3916269

zbMATH Keywords

modal logicdeduction theoremequivalential logicsentential logicconsequence operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) General logic (03B99)

Cited In (11)

• A deduction theorem schema for deductive systems of propositional logics
• Title not available (Why is that?)
• The deduction theorem for quantum logic—some negative results
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rules in relevant logic. II: Formula representation
• On weakening the Deduction Theorem and strengthening Modus Ponens
• Title not available (Why is that?)
• On the structure of varieties with equationally definable principal congruences. II
• Algebraic aspects of deduction theorems
• Local deductions theorems

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