scientific article; zbMATH DE number 1463146

zbMATH Open0947.03010MaRDI QIDQ4487294FDOQ4487294

Authors A. P. Pyn'ko 

Publication date 27 July 2000

zbMATH Keywords

Leibniz operatorequivalential logicprotoalgebraic logicconsequence operationpropositional formulapropositional languagedeductive filterformula algebramany-dimensional logicfull-replacement implication systemmany-dimensional formulaparameterized local deduction theoremsyntactic correspondence propertyunary-replacement implication system

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Quasivarieties (08C15) Algebraic logic (03G99)

Recommendations

• Some comments on the paper ``Implication systems for many-dimensional logics
• Protoalgebraic logics
• scientific article; zbMATH DE number 67022
• Algebraic aspects of deduction theorems
• Willem Blok's contribution to abstract algebraic logic

Cited in

(8)

• Logical foundation of the quintuple implication inference methods
• Some comments on the paper ``Implication systems for many-dimensional logics
• A relative interpolation theorem for infinitary universal Horn logic and its applications
• scientific article; zbMATH DE number 3965470 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• Implicative logics, Lambek systems and exponential multicategories
• The Beth property in algebraic logic
• Characterization of protoalgebraic \(k\)-deductive systems

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