Katarzyna Pałasińska

Available identifiers

Publication	Date of Publication	Type
Characterization of protoalgebraic k-deductive systems	2018-09-13	Paper
Three-element non-finitely axiomatizable matrices and term-equivalence	2017-05-18	Paper
No matrix term-equivalent to Wroński's 3-element matrix is finitely based	2005-04-07	Paper
Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes	2004-02-15	Paper
Some comments on the paper ``Implication systems for many-dimensional logics	2002-06-23	Paper
Sequent calculi and quasivarieties	2002-06-10	Paper
Gentzen-style axiomatizations in equational logic	1996-02-20	Paper
Three-element nonfinitely axiomatizable matrices	1994-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4038405	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3815295	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795675	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3784068	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3778024	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3710532	1985-01-01	Paper

This page was built for person: Katarzyna Pałasińska