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 |