scientific article; zbMATH DE number 3882410

MaRDI QIDQ3216636zbMATH OpenFDO

Authors Janusz Czelakowski

Publication date 1983

zbMATH Keywords

consequence operatordeduction theoremequivalential logicmodal logicsentential logic

Mathematics Subject Classification ID

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

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

Cited in

(18)

• Algebraic aspects of deduction theorems
• Local deductions theorems
• \(C_ 1\) is not algebraizable
• A deduction theorem schema for deductive systems of propositional logics
• Rules in relevant logic. II: Formula representation
• scientific article; zbMATH DE number 6019825 (Why is no real title available?)
• The deduction theorem for quantum logic—some negative results
• scientific article; zbMATH DE number 3902629 (Why is no real title available?)
• scientific article; zbMATH DE number 3916269 (Why is no real title available?)
• scientific article; zbMATH DE number 4127173 (Why is no real title available?)
• Deduction theorems within RM and its extensions
• On weakening the Deduction Theorem and strengthening Modus Ponens
• A relational model for the logic of deduction
• Вполне-определённые логики
• Deduction theorem in congruential modal logics
• Contextual deduction theorems
• Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
• On the structure of varieties with equationally definable principal congruences. II

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)