Concepedia

A deduction theorem schema for deductive systems of propositional logics

Janusz Czelakowski, Wies aw Dziobiak

Studia Logica · 1991 · 23 citations · 4 references

DOI

Concepts

References

4

Protoalgebraic logics

W. J. Blok, Don Pigozzi · Studia Logica · 1986 · 117 citations

Algebraic Semantics for Universal Horn Logic Without Equality

W. J. Blok · Medical Entomology and Zoology · 1992 · 108 citations

, , +10

Algebraic aspects of deduction theorems

Janusz Czelakowski · Studia Logica · 1985 · 54 citations

, , +14

Local deductions theorems

Janusz Czelakowski · Studia Logica · 1986 · 40 citations