Janusz Czelakowski

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 6

Top Topics

Reasoning About Actions

Arabic Language

Top Venues

Fundam. Informaticae

J. Log. Lang. Inf.

Publications

Janusz Czelakowski
RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa-Sikorski Lemma in Arithmetic (I). Stud Logica 111 (2) (2023)
Janusz Czelakowski
RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa-Sikorski Lemma in Arithmetic (II). Stud Logica 111 (2) (2023)
Janusz Czelakowski, Adam Olszewski
Logics of Order and Related Notions. Stud Logica 110 (6) (2022)
Janusz Czelakowski
Performability of Actions. J. Log. Lang. Inf. 30 (4) (2021)
Janusz Czelakowski
Deontology of Compound Actions. Stud Logica 108 (1) (2020)
Janusz Czelakowski
Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma. Fundam. Informaticae 156 (3-4) (2017)
Janusz Czelakowski, Wieslaw Dziobiak, Jacek Malinowski
Foreword. Stud Logica 99 (1-3) (2011)
Janusz Czelakowski
AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets". Fundam. Informaticae 93 (4) (2009)
Janusz Czelakowski
Additivity of the commutator and residuation. Reports Math. Log. 43 (2008)
Janusz Czelakowski
Induction Principles for Sets. Fundam. Informaticae 81 (1-3) (2007)
Janusz Czelakowski, Wieslaw Dziobiak
On truth-schemes for intensional logics. Reports Math. Log. 41 (2006)
Janusz Czelakowski
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts. Stud Logica 83 (1-3) (2006)
Janusz Czelakowski, Don Pigozzi
Fregean logics. Ann. Pure Appl. Log. 127 (1-3) (2004)
Janusz Czelakowski
Equivalential Logics (After 25 Years of Investigations). Reports Math. Log. 38 (2004)
Janusz Czelakowski, Don Pigozzi
Fregean logics with the multiterm deduction theorem and their algebraization. Stud Logica 78 (1-2) (2004)
Janusz Czelakowski
The Suszko Operator - Part I. Stud Logica 74 (1-2) (2003)
Janusz Czelakowski, Ramon Jansana
Weakly Algebraizable Logics. J. Symb. Log. 65 (2) (2000)
Janusz Czelakowski, Wieslaw Dziobiak
Deduction Theorems Within RM and Its Extensions. J. Symb. Log. 64 (1) (1999)
Janusz Czelakowski, Lawrence S. Moss
Books received. Stud Logica 50 (1) (1991)
Janusz Czelakowski
Books received. Stud Logica 50 (2) (1991)
Janusz Czelakowski, Wieslaw Dziobiak
A deduction theorem schema for deductive systems of propositional logics. Stud Logica 50 (3-4) (1991)
Janusz Czelakowski
Books received. Stud Logica 49 (2) (1990)
Janusz Czelakowski, Alasdair Urquhart, Ryszard Wójcicki, Jan Wolenski, Andrzej Sendlewski, Marcin Mostowski
Books received. Stud Logica 49 (1) (1990)
Janusz Czelakowski
Books received. Stud Logica 49 (4) (1990)
Janusz Czelakowski
Books received. Stud Logica 49 (3) (1990)
Janusz Czelakowski, Jan Wolenski, Roman Murawski, Marek Zirk-Sadowski, Andrzej Skowron
Books received. Stud Logica 48 (2) (1989)
Janusz Czelakowski
Books received. Stud Logica 48 (1) (1989)
Janusz Czelakowski, Gerhard Schurz, Andrzej Skowron
Books received. Stud Logica 48 (3) (1989)
Janusz Czelakowski
Books received. Stud Logica 47 (4) (1988)
Janusz Czelakowski
Books received. Stud Logica 47 (1) (1988)
Janusz Czelakowski
Books received. Stud Logica 47 (2) (1988)
Janusz Czelakowski
Books received. Stud Logica 46 (2) (1987)
Janusz Czelakowski
Books received. Stud Logica 46 (4) (1987)
Janusz Czelakowski
Books received. Stud Logica 46 (3) (1987)
Janusz Czelakowski
Local deductions theorems. Stud Logica 45 (4) (1986)
Janusz Czelakowski
Books received. Stud Logica 45 (3) (1986)
Janusz Czelakowski, Roger D. Maddux, Gerhard Schurz, Kazimierz Trzesicki
Books received. Stud Logica 45 (2) (1986)
Janusz Czelakowski
Books received. Stud Logica 45 (4) (1986)
Janusz Czelakowski
Algebraic aspects of deduction theorems. Stud Logica 44 (4) (1985)
Janusz Czelakowski, Grzegorz Malinowski
Key notions of Tarski's methodology of deductive systems. Stud Logica 44 (4) (1985)
Janusz Czelakowski
Books received. Stud Logica 44 (1) (1985)
Janusz Czelakowski
Books received. Stud Logica 44 (2) (1985)
Janusz Czelakowski
Sentential logics and Maehara Interpolation Property. Stud Logica 44 (3) (1985)