dblp.uni-trier.dewww.uni-trier.de

Katarzyna Palasinska

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
4EEKatarzyna Palasinska: No Matrix Term-Equivalent to Wronski's 3-element Matrix is Finitely Based. Studia Logica 77(3): 413-423 (2004)
2003
3 Katarzyna Palasinska: Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes. Studia Logica 74(1-2): 233-273 (2003)
2000
2EEKatarzyna Palasinska: Sequent Calculi and Quasivarieties. Reports on Mathematical Logic 34: 107-131 (2000)
1994
1 Katarzyna Palasinska: Three-element nonfinitely axiomatizable matrices. Studia Logica 53(3): 361-372 (1994)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)