scientific article; zbMATH DE number 1463146

zbMATH Open0947.03010MaRDI QIDQ4487294FDOQ4487294

Authors: A. P. Pyn'ko 

Publication date: 27 July 2000

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (8)

• Logical foundation of the quintuple implication inference methods
• Title not available (Why is that?)
• Implicative logics, Lambek systems and exponential multicategories
• Some comments on the paper ``Implication systems for many-dimensional logics
• Title not available (Why is that?)
• The Beth property in algebraic logic
• 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)