| 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
Studia Logica | 2023-04-21 | Paper |
Retracted article: ``There are infinitely many Mersenne prime numbers. Applications of Rasiowa-Sikorski lemma in arithmetic. II
Studia Logica | 2023-04-21 | Paper |
Logics of order and related notions
Studia Logica | 2022-11-29 | Paper |
Abstrakcyjna logika algebraiczna pomostem między algebrą a logiką
Wiadomości Matematyczne | 2022-05-31 | Paper |
Performability of actions
Journal of Logic, Language and Information | 2022-01-28 | Paper |
Probabilistic Interpretations of Predicates
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Deontology of compound actions
Studia Logica | 2020-03-13 | Paper |
Rasiowa-Sikorski sets and forcing
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 2018-09-13 | Paper |
Infinite valued Łukasiewicz logic
Bulletin of the Section of Logic | 2018-03-21 | Paper |
Forcing for first-order languages from the perspective of Rasiowa-Sikorski lemma
Fundamenta Informaticae | 2018-03-02 | Paper |
| The equationally-defined commutator. A study in equational logic and algebra | 2015-07-29 | Paper |
Freedom and enforcement in action. A study in formal action theory
Trends in Logic -- Studia Logica Library | 2015-04-13 | Paper |
Triangular irreducibility of congruences in quasivarieties
Algebra Universalis | 2014-05-23 | Paper |
| scientific article; zbMATH DE number 6287564 (Why is no real title available?) | 2014-04-23 | Paper |
AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets"
Fundamenta Informaticae | 2009-09-29 | Paper |
Monotone Relations, Fixed Points and Recursive Definitions
Towards Mathematical Philosophy | 2009-02-05 | Paper |
| Additivity of the commutator and residuation | 2008-06-18 | Paper |
| Fixed-points for relations and the back and forth method | 2008-05-02 | Paper |
| Induction principles for sets | 2008-03-03 | Paper |
| scientific article; zbMATH DE number 5235522 (Why is no real title available?) | 2008-02-15 | Paper |
| Towards the algebraization of set theory. Set-theoretic domains | 2007-04-27 | Paper |
General theory of the commutator for deductive systems. I: Basic facts
Studia Logica | 2006-10-27 | Paper |
Fregean logics with the multiterm deduction theorem and their algebraization
Studia Logica | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 2108193 (Why is no real title available?) | 2004-10-15 | Paper |
Fregean logics
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
The Suszko operator. I
Studia Logica | 2004-02-15 | Paper |
Logics and operators
Logic and Logical Philosophy | 2001-10-01 | Paper |
Protoalgebraic logics
Trends in Logic -- Studia Logica Library | 2001-05-21 | Paper |
scientific article; zbMATH DE number 1583144 (Why is no real title available?)
Acta Scientiarum Mathematicarum | 2001-04-01 | Paper |
| scientific article; zbMATH DE number 1444714 (Why is no real title available?) | 2001-03-22 | Paper |
Weakly algebraizable logics
Journal of Symbolic Logic | 2000-10-03 | Paper |
Relative principal congruences in congruence-modular quasivarieties
Algebra Universalis | 2000-02-27 | Paper |
| scientific article; zbMATH DE number 1241660 (Why is no real title available?) | 1999-07-05 | Paper |
Deduction theorems within RM and its extensions
Journal of Symbolic Logic | 1999-06-29 | Paper |
| scientific article; zbMATH DE number 1302498 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1180148 (Why is no real title available?) | 1999-05-04 | Paper |
| scientific article; zbMATH DE number 975279 (Why is no real title available?) | 1997-03-12 | Paper |
The parameterized local deduction theorem for quasivarieties of algebras and its application
Algebra Universalis | 1996-10-15 | Paper |
| scientific article; zbMATH DE number 146261 (Why is no real title available?) | 1993-04-01 | Paper |
A deduction theorem schema for deductive systems of propositional logics
Studia Logica | 1992-09-27 | Paper |
A single quasi-identity for a quasivariety with the Fraser-Horn property
Algebra Universalis | 1992-06-28 | Paper |
Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
Algebra Universalis | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4177142 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4137850 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4189690 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4064972 (Why is no real title available?) | 1987-01-01 | Paper |
Local deductions theorems
Studia Logica | 1986-01-01 | Paper |
Algebraic aspects of deduction theorems
Studia Logica | 1985-01-01 | Paper |
Sentential logics and Maehara interpolation property
Studia Logica | 1985-01-01 | Paper |
Key notions of Tarski's methodology of deductive systems
Studia Logica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3920436 (Why is no real title available?) | 1984-01-01 | Paper |
Filter distributive logics
Studia Logica | 1984-01-01 | Paper |
Matrices, primitive satisfaction and finitely based logics
Studia Logica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3882410 (Why is no real title available?) | 1983-01-01 | Paper |
Some theorems on structural entailment relations
Studia Logica | 1983-01-01 | Paper |
Logical matrices and the amalgamation property
Studia Logica | 1982-01-01 | Paper |
Another proof that \(ISP_ r(K)\) is the least quasivariety containing K
Studia Logica | 1982-01-01 | Paper |
Equivalential logics. I
Studia Logica | 1981-01-01 | Paper |
Equivalential logics. II
Studia Logica | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3739533 (Why is no real title available?) | 1981-01-01 | Paper |
Partial Boolean algebras in a broader sense and Boolean embeddings
Colloquium Mathematicum | 1981-01-01 | Paper |
Reduced products of logical matrices
Studia Logica | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3695147 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3693247 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3735812 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3747081 (Why is no real title available?) | 1980-01-01 | Paper |
Partial Boolean algebras in a broader sense
Studia Logica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3650536 (Why is no real title available?) | 1979-01-01 | Paper |
On σ-orthodistributivity
Colloquium Mathematicum | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3650532 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3650533 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3650535 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3636001 (Why is no real title available?) | 1979-01-01 | Paper |
On extending of partial Boolean algebras to partial *-algebras
Colloquium Mathematicum | 1978-01-01 | Paper |
Logics based on partial Boolean \(\sigma\)-algebras. I
Studia Logica | 1975-01-01 | Paper |
Logics based on partial Boolean \(\sigma\)-algebras. II
Studia Logica | 1975-01-01 | Paper |
