Janusz Czelakowski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 43 from 43

2022

Logics of Order and Related NotionsJanusz Czelakowski, Adam Olszewski. sLogica, 110(6):1417-1464, 2022. [doi]

2021

Performability of ActionsJanusz Czelakowski. jolli, 30(4):753-804, 2021. [doi]

2020

Deontology of Compound ActionsJanusz Czelakowski. sLogica, 108(1):5-47, 2020. [doi]

2017

Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski LemmaJanusz Czelakowski. FUIN, 156(3-4):255-280, 2017. [doi]

2011

ForewordJanusz Czelakowski, Wieslaw Dziobiak, Jacek Malinowski. sLogica, 99(1-3):1-6, 2011. [doi]

2009

AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets"Janusz Czelakowski. FUIN, 93(4):353-356, 2009. [doi]

Monotone Relations, Fixed Points and Recursive DefinitionsJanusz Czelakowski. In David Makinson, Jacek Malinowski, Heinrich Wansing, editors, Towards Mathematical Philosophy. Volume 28 of Trends in logic, pages 125-164, Springer, 2009. [doi]

2008

Additivity of the commutator and residuationJanusz Czelakowski. rml, 43:109-132, 2008. [doi]

2007

Induction Principles for SetsJanusz Czelakowski. FUIN, 81(1-3):97-122, 2007. [doi]

2006

General Theory of the Commutator for Deductive Systems. Part I. Basic FactsJanusz Czelakowski. sLogica, 83(1-3):183-214, 2006. [doi]

On truth-schemes for intensional logicsJanusz Czelakowski, Wieslaw Dziobiak. rml, 41:151-171, 2006. [doi]

2004

Equivalential Logics (After 25 Years of Investigations)Janusz Czelakowski. rml, 38:23-36, 2004. [doi]

Fregean logics with the multiterm deduction theorem and their algebraizationJanusz Czelakowski, Don Pigozzi. sLogica, 78(1-2):171-212, 2004. [doi]

Fregean logicsJanusz Czelakowski, Don Pigozzi. APAL, 127(1-3):17-76, 2004. [doi]

2003

The Suszko Operator - Part IJanusz Czelakowski. sLogica, 74(1-2):181-231, 2003.

2000

Weakly Algebraizable LogicsJanusz Czelakowski, Ramon Jansana. JSYML, 65(2):641-668, 2000.

1999

Deduction Theorems Within RM and Its ExtensionsJanusz Czelakowski, Wieslaw Dziobiak. JSYML, 64(1):279-290, 1999.

1996

Elements of Formal Action TheoryJanusz Czelakowski. flairs 1996: 3-62

1991

A deduction theorem schema for deductive systems of propositional logicsJanusz Czelakowski, Wieslaw Dziobiak. sLogica, 50(3-4):385-390, 1991. [doi]

Books receivedJanusz Czelakowski. sLogica, 50(2):351-357, 1991. [doi]

Books receivedJanusz Czelakowski, Lawrence S. Moss. sLogica, 50(1):161-167, 1991. [doi]

1990

Books receivedJanusz Czelakowski, Alasdair Urquhart, Ryszard Wójcicki, Jan Wolenski, Andrzej Sendlewski, Marcin Mostowski. sLogica, 49(1):151-161, 1990. [doi]

Books receivedJanusz Czelakowski. sLogica, 49(2):283-287, 1990. [doi]

Books receivedJanusz Czelakowski. sLogica, 49(3):421-429, 1990. [doi]

Books receivedJanusz Czelakowski. sLogica, 49(4):601-611, 1990. [doi]

1989

Books receivedJanusz Czelakowski. sLogica, 48(1):129-137, 1989. [doi]

Books receivedJanusz Czelakowski, Jan Wolenski, Roman Murawski, Marek Zirk-Sadowski, Andrzej Skowron. sLogica, 48(2):259-267, 1989. [doi]

Books receivedJanusz Czelakowski, Gerhard Schurz, Andrzej Skowron. sLogica, 48(3):395-400, 1989. [doi]

1988

Books receivedJanusz Czelakowski. sLogica, 47(4):439-441, 1988. [doi]

Books receivedJanusz Czelakowski. sLogica, 47(1):71-77, 1988. [doi]

Books receivedJanusz Czelakowski. sLogica, 47(2):169-176, 1988. [doi]

1987

Books receivedJanusz Czelakowski. sLogica, 46(4):395-404, 1987. [doi]

Books receivedJanusz Czelakowski. sLogica, 46(2):205-207, 1987. [doi]

Books receivedJanusz Czelakowski. sLogica, 46(3):279-282, 1987. [doi]

1986

Books receivedJanusz Czelakowski. sLogica, 45(3):329-333, 1986. [doi]

Local deductions theoremsJanusz Czelakowski. sLogica, 45(4):377-391, 1986. [doi]

Books receivedJanusz Czelakowski. sLogica, 45(4):425-430, 1986. [doi]

Books receivedJanusz Czelakowski, Roger D. Maddux, Gerhard Schurz, Kazimierz Trzesicki. sLogica, 45(2):223-229, 1986. [doi]

1985

Books receivedJanusz Czelakowski. sLogica, 44(2):223-230, 1985. [doi]

Sentential logics and Maehara Interpolation PropertyJanusz Czelakowski. sLogica, 44(3):265-283, 1985. [doi]

Books receivedJanusz Czelakowski. sLogica, 44(1):101-105, 1985. [doi]

Algebraic aspects of deduction theoremsJanusz Czelakowski. sLogica, 44(4):369-387, 1985. [doi]

Key notions of Tarski's methodology of deductive systemsJanusz Czelakowski, Grzegorz Malinowski. sLogica, 44(4):321-351, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL