| Publication | Date of Publication | Type |
|---|
| Logics for Computer Science | 2018-12-12 | Paper |
From Logic to Computer Science – A Personal Experience
Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam | 2015-04-08 | Paper |
| Data preprocessing and data mining as generalization | 2008-09-25 | Paper |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Lecture Notes in Computer Science | 2006-06-27 | Paper |
| scientific article; zbMATH DE number 1927380 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1303628 (Why is no real title available?) | 1999-11-29 | Paper |
| scientific article; zbMATH DE number 978243 (Why is no real title available?) | 1997-08-17 | Paper |
| scientific article; zbMATH DE number 972617 (Why is no real title available?) | 1997-04-21 | Paper |
| scientific article; zbMATH DE number 440113 (Why is no real title available?) | 1993-12-06 | Paper |
An inductive learning system
Bulletin of the Polish Academy of Sciences. Technical Sciences | 1993-01-16 | Paper |
Rules reduction for knowledge representation systems
Bulletin of the Polish Academy of Sciences. Technical Sciences | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 68125 (Why is no real title available?) | 1992-10-04 | Paper |
Syntactic decision procedures in information systems
International Journal of Man-Machine Studies | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4060789 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045246 (Why is no real title available?) | 1987-01-01 | Paper |
Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations
Mathematical Logic Quarterly | 1986-01-01 | Paper |
Trees and diagrams of decomposition
Studia Logica | 1985-01-01 | Paper |
Programs and logics
Studia Logica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3928955 (Why is no real title available?) | 1985-01-01 | Paper |
Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them
Mathematical Logic Quarterly | 1985-01-01 | Paper |
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
Studia Logica | 1984-01-01 | Paper |
On the Gentzen Type Formalizations
Mathematical Logic Quarterly | 1980-01-01 | Paper |
A constructive proof of Craig's interpolation lemma for m-valued logic
Studia Logica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3601141 (Why is no real title available?) | 1978-01-01 | Paper |
A sequence formalization for SCI
Studia Logica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3529447 (Why is no real title available?) | 1976-01-01 | Paper |
The diagrams of formulas of the intuitionistic propositional calculus
Studia Logica | 1973-01-01 | Paper |
The diagrams of formulas of the modal propositional S4 calculus
Studia Logica | 1972-01-01 | Paper |
A formalization of the modal propositional S4 calculus
Studia Logica | 1971-01-01 | Paper |
