scientific article; zbMATH DE number 3882410

zbMATH Open0554.03018MaRDI QIDQ3216636FDOQ3216636

Authors: 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; zbMATH DE number 67022
• 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 (15)

• 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
• Contextual deduction theorems
• Title not available (Why is that?)
• Title not available (Why is that?)
• A relational model for the logic of deduction
• Rules in relevant logic. II: Formula representation
• On weakening the Deduction Theorem and strengthening Modus Ponens
• Deduction theorem in congruential modal logics
• Вполне-определённые логики
• 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)