scientific article; zbMATH DE number 1975410

MaRDI QIDQ4424653zbMATH OpenFDO

Authors E. A. Sidorenko

Publication date 2001

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 1354101
• Deduction Theorem for Many‐Valued Inference
• A general treatment for the deduction theorem in open calculi
• Deduction theorems for weak implicational logics
• A deduction theorem for normal modal propositional logic

Cited in

(19)

• The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems
• A deduction theorem schema for deductive systems of propositional logics
• Horn style deduction relation
• Towards a more general concept of inference
• Encoding two-valued nonclassical logics in classical logic
• Conditions for the applicability of classical logic in the framework of languages of nonclassical logics
• On effective deduction theorems in normal modal logics
• A general treatment for the deduction theorem in open calculi
• On the definition of ‘formal deduction’
• Extensions of intuitionistic logic without the deduction theorem: some simple examples
• The deduction theorem for quantum logic—some negative results
• scientific article; zbMATH DE number 3924745 (Why is no real title available?)
• scientific article; zbMATH DE number 49299 (Why is no real title available?)
• Deduction Theorem for Many‐Valued Inference
• scientific article; zbMATH DE number 1354101 (Why is no real title available?)
• scientific article; zbMATH DE number 698628 (Why is no real title available?)
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• scientific article; zbMATH DE number 1554267 (Why is no real title available?)
• Deduction theorems for weak implicational logics

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