| Publication | Date of Publication | Type |
|---|
| Retracted article: ``The twin primes conjecture is true in the standard model of Peano arithmetic. Applications of Rasiowa-Sikorski lemma in arithmetic. I | 2023-04-21 | Paper |
| Retracted article: ``There are infinitely many Mersenne prime numbers. Applications of Rasiowa-Sikorski lemma in arithmetic. II | 2023-04-21 | Paper |
| Logics of order and related notions | 2022-11-29 | Paper |
| Abstrakcyjna logika algebraiczna pomostem między algebrą a logiką | 2022-05-31 | Paper |
| Performability of actions | 2022-01-28 | Paper |
| Probabilistic Interpretations of Predicates | 2020-08-07 | Paper |
| Deontology of compound actions | 2020-03-13 | Paper |
| Rasiowa–Sikorski Sets and Forcing | 2020-02-05 | Paper |
| The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras | 2018-09-13 | Paper |
| The Infinite-Valued Łukasiewicz Logic and Probability | 2018-03-21 | Paper |
| Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma | 2018-03-02 | Paper |
| The Equationally-Defined Commutator | 2015-07-29 | Paper |
| Freedom and enforcement in action. A study in formal action theory | 2015-04-13 | Paper |
| Triangular irreducibility of congruences in quasivarieties | 2014-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411410 | 2014-04-23 | Paper |
| AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets" | 2009-09-29 | Paper |
| Monotone Relations, Fixed Points and Recursive Definitions | 2009-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505081 | 2008-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5460165 | 2008-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445160 | 2008-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5441555 | 2008-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3433173 | 2007-04-27 | Paper |
| General theory of the commutator for deductive systems. I: Basic facts | 2006-10-27 | Paper |
| Fregean logics with the multiterm deduction theorem and their algebraization | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4820591 | 2004-10-15 | Paper |
| Fregean logics | 2004-08-06 | Paper |
| The Suszko operator. I | 2004-02-15 | Paper |
| Logics and operators | 2001-10-01 | Paper |
| Protoalgebraic logics | 2001-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2707243 | 2001-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952293 | 2001-03-22 | Paper |
| Weakly algebraizable logics | 2000-10-03 | Paper |
| Relative principal congruences in congruence-modular quasivarieties | 2000-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225110 | 1999-07-05 | Paper |
| Deduction theorems within RM and its extensions | 1999-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249028 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4399402 | 1999-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283969 | 1997-03-12 | Paper |
| The parameterized local deduction theorem for quasivarieties of algebras and its application | 1996-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029101 | 1993-04-01 | Paper |
| A deduction theorem schema for deductive systems of propositional logics | 1992-09-27 | Paper |
| A single quasi-identity for a quasivariety with the Fraser-Horn property | 1992-06-28 | Paper |
| Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201124 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470527 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5753925 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3798646 | 1987-01-01 | Paper |
| Local deductions theorems | 1986-01-01 | Paper |
| Sentential logics and Maehara interpolation property | 1985-01-01 | Paper |
| Algebraic aspects of deduction theorems | 1985-01-01 | Paper |
| Key notions of Tarski's methodology of deductive systems | 1985-01-01 | Paper |
| Filter distributive logics | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3695251 | 1984-01-01 | Paper |
| Some theorems on structural entailment relations | 1983-01-01 | Paper |
| Matrices, primitive satisfaction and finitely based logics | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216636 | 1983-01-01 | Paper |
| Another proof that \(ISP_ r(K)\) is the least quasivariety containing K | 1982-01-01 | Paper |
| Logical matrices and the amalgamation property | 1982-01-01 | Paper |
| Equivalential logics. I | 1981-01-01 | Paper |
| Equivalential logics. II | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926579 | 1981-01-01 | Paper |
| Partial Boolean algebras in a broader sense and Boolean embeddings | 1981-01-01 | Paper |
| Reduced products of logical matrices | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3887438 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3889025 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922680 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931257 | 1980-01-01 | Paper |
| Partial Boolean algebras in a broader sense | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208632 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208633 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208635 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208636 | 1979-01-01 | Paper |
| On σ-orthodistributivity | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196407 | 1979-01-01 | Paper |
| On extending of partial Boolean algebras to partial *-algebras | 1978-01-01 | Paper |
| Logics based on partial Boolean \(\sigma\)-algebras. I | 1975-01-01 | Paper |
| Logics based on partial Boolean \(\sigma\)-algebras. II | 1975-01-01 | Paper |
