We stand with Ukraine  

Janusz Czelakowski

Orcid: 0000-0002-6611-2377

According to our database1, Janusz Czelakowski authored at least 29 papers between 1985 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Logics of Order and Related Notions.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Adam Olszewski
Stud Logica, 2022

2021
Performability of Actions.
[BibTeX]
[DOI]
Janusz Czelakowski
J. Log. Lang. Inf., 2021

2020
Deontology of Compound Actions.
[BibTeX]
[DOI]
Janusz Czelakowski
Stud Logica, 2020

2017
Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma.
[BibTeX]
[DOI]
Janusz Czelakowski
Fundam. Informaticae, 2017

2011
Foreword.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Wieslaw Dziobiak
,
Jacek Malinowski
Stud Logica, 2011

2009
AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets".
[BibTeX]
[DOI]
Janusz Czelakowski
Fundam. Informaticae, 2009

Monotone Relations, Fixed Points and Recursive Definitions.
[BibTeX]
[DOI]
Janusz Czelakowski
Proceedings of the Towards Mathematical Philosophy, 2009

2008
Additivity of the commutator and residuation.
[BibTeX]
[DOI]
Janusz Czelakowski
Reports Math. Log., 2008

2007
Induction Principles for Sets.
[BibTeX]
[DOI]
Janusz Czelakowski
Fundam. Informaticae, 2007

2006
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts.
[BibTeX]
[DOI]
Janusz Czelakowski
Stud Logica, 2006

On truth-schemes for intensional logics.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Wieslaw Dziobiak
Reports Math. Log., 2006

2004
Fregean logics with the multiterm deduction theorem and their algebraization.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Don Pigozzi
Stud Logica, 2004

Equivalential Logics (After 25 Years of Investigations).
[BibTeX]
[DOI]
Janusz Czelakowski
Reports Math. Log., 2004

Fregean logics.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Don Pigozzi
Ann. Pure Appl. Log., 2004

2003
The Suszko Operator - Part I.
[BibTeX]
[DOI]
Janusz Czelakowski
Stud Logica, 2003

2000
Weakly Algebraizable Logics.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Ramon Jansana
J. Symb. Log., 2000

1999
Deduction Theorems Within RM and Its Extensions.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Wieslaw Dziobiak
J. Symb. Log., 1999

1996
Elements of Formal Action Theory.
[BibTeX]
Janusz Czelakowski
Proceedings of the Logic, Action, and Information, 1996

1991
Books received.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Lawrence S. Moss
Stud Logica, 1991

A deduction theorem schema for deductive systems of propositional logics.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Wieslaw Dziobiak
Stud Logica, 1991

1990
Books received.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Alasdair Urquhart
,
Ryszard Wójcicki
,
Jan Wolenski
,
Andrzej Sendlewski
,
Marcin Mostowski
Stud Logica, 1990

Books received.
[BibTeX]
[DOI]
Janusz Czelakowski
Stud Logica, 1990

1989
Books received.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Jan Wolenski
,
Roman Murawski
,
Marek Zirk-Sadowski
,
Andrzej Skowron
Stud Logica, 1989

Books received.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Gerhard Schurz
,
Andrzej Skowron
Stud Logica, 1989

1986
Books received.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Roger D. Maddux
,
Gerhard Schurz
,
Kazimierz Trzesicki
Stud Logica, 1986

Local deductions theorems.
[BibTeX]
[DOI]
Janusz Czelakowski
Stud Logica, 1986

1985
Key notions of Tarski's methodology of deductive systems.
[BibTeX]
[DOI]
Janusz Czelakowski
,
Grzegorz Malinowski
Stud Logica, 1985

Algebraic aspects of deduction theorems.
[BibTeX]
[DOI]
Janusz Czelakowski
Stud Logica, 1985

Sentential logics and Maehara Interpolation Property.
[BibTeX]
[DOI]
Janusz Czelakowski
Stud Logica, 1985


  Loading...