scientific article; zbMATH DE number 1463146

MaRDI QIDQ4487294zbMATH OpenFDO

Authors A. P. Pyn'ko

Publication date 27 July 2000

zbMATH Keywords

consequence operationdeductive filterequivalential logicformula algebrafull-replacement implication systemLeibniz operatormany-dimensional formulamany-dimensional logicparameterized local deduction theorempropositional formulapropositional languageprotoalgebraic logicsyntactic correspondence propertyunary-replacement implication system

Mathematics Subject Classification ID

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

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

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)