Search

Your search keyword '"Indrzejczak, Andrzej"' showing total 293 results
Start Over Author "Indrzejczak, Andrzej"

Refine your results

293 results on '"Indrzejczak, Andrzej"'

4. Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications

Author

Indrzejczak, Andrzej and Zawidzki, Michał

Subjects
Computer Science - Logic in Computer Science
Abstract

Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey works in widely understood non-classical logics and their applications. This year's edition was also an opportunity to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic (BSL), established in 1971 and since then published by the University of Lodz. On this occassion a number of renowned researchers having bonds with BSL were asked to deliver invited talks. Additionally, during the conference a special session was held commemorating J. Michael Dunn, outstanding logician and collecting editor of BSL, who passed away in 2021. Finally, collocated with the conference were three workshops devoted to, subsequently, non-Fregean logics, relating logics, and formal ontology, as well as a tutorial on graded logic.

Published
2022
Full Text
View/download PDF

6. Tableaux for Free Logics with Descriptions

Author

Indrzejczak, Andrzej and Zawidzki, Michał

Subjects
Computer Science - Logic in Computer Science, 03B22, 03B35 (Primary) 03B10, 03A05 (Secondary), F.4.1, I.2.3, I.2.4
Abstract

The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five analytic tableau systems corresponding to different kinds of free logic, including the logic of definedness applied in computer science and constructive mathematics for dealing with partial functions (here called negative quasi-free logic). The tableau systems formalise MFD based on PFL (positive free logic), NFL (negative free logic), PQFL and NQFL (the quasi-free counterparts of the former ones). Also the logic NQFLm is taken into account, which is equivalent to NQFL, but whose language does not comprise the existence predicate. It is shown that all tableaux are sound and complete with respect to the semantics of these logics., Comment: This is a full version of a conference paper that will appear in the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

Published
2021

9. A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

Author

Indrzejczak, Andrzej, Petrukhin, Yaroslav, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Pientka, Brigitte, editor, and Tinelli, Cesare, editor

Published
2023
Full Text
View/download PDF

13. Leśniewski’s Ontology – Proof-Theoretic Characterization

Author

Indrzejczak, Andrzej, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Blanchette, Jasmin, editor, Kovács, Laura, editor, and Pattinson, Dirk, editor

Published
2022
Full Text
View/download PDF

14. Alternatives to CPL

Author

Indrzejczak, Andrzej, Béziau, Jean-Yves, Series Editor, Andréka, Hajnal, Editorial Board Member, Burgin, Mark, Editorial Board Member, Diaconescu, Răzvan, Editorial Board Member, Herzig, Andreas, Editorial Board Member, Koslow, Arnold, Editorial Board Member, Lee, Jui-Lin, Editorial Board Member, Maksimova, Larissa, Editorial Board Member, Malinowski, Grzegorz, Editorial Board Member, Paoli, Francesco, Editorial Board Member, Sarenac, Darko, Editorial Board Member, Schröder-Heister, Peter, Editorial Board Member, Vasyukov, Vladimir, Editorial Board Member, and Indrzejczak, Andrzej

Published
2021
Full Text
View/download PDF

15. Sequent Calculi for Modal Logics

Author

Indrzejczak, Andrzej, Béziau, Jean-Yves, Series Editor, Andréka, Hajnal, Editorial Board Member, Burgin, Mark, Editorial Board Member, Diaconescu, Răzvan, Editorial Board Member, Herzig, Andreas, Editorial Board Member, Koslow, Arnold, Editorial Board Member, Lee, Jui-Lin, Editorial Board Member, Maksimova, Larissa, Editorial Board Member, Malinowski, Grzegorz, Editorial Board Member, Paoli, Francesco, Editorial Board Member, Sarenac, Darko, Editorial Board Member, Schröder-Heister, Peter, Editorial Board Member, Vasyukov, Vladimir, Editorial Board Member, and Indrzejczak, Andrzej

Published
2021
Full Text
View/download PDF

16. Analytic Sequent Calculus for CPL

Author

Indrzejczak, Andrzej, Béziau, Jean-Yves, Series Editor, Andréka, Hajnal, Editorial Board Member, Burgin, Mark, Editorial Board Member, Diaconescu, Răzvan, Editorial Board Member, Herzig, Andreas, Editorial Board Member, Koslow, Arnold, Editorial Board Member, Lee, Jui-Lin, Editorial Board Member, Maksimova, Larissa, Editorial Board Member, Malinowski, Grzegorz, Editorial Board Member, Paoli, Francesco, Editorial Board Member, Sarenac, Darko, Editorial Board Member, Schröder-Heister, Peter, Editorial Board Member, Vasyukov, Vladimir, Editorial Board Member, and Indrzejczak, Andrzej

Published
2021
Full Text
View/download PDF

17. Purely Logical Sequent Calculus

Author

Indrzejczak, Andrzej, Béziau, Jean-Yves, Series Editor, Andréka, Hajnal, Editorial Board Member, Burgin, Mark, Editorial Board Member, Diaconescu, Răzvan, Editorial Board Member, Herzig, Andreas, Editorial Board Member, Koslow, Arnold, Editorial Board Member, Lee, Jui-Lin, Editorial Board Member, Maksimova, Larissa, Editorial Board Member, Malinowski, Grzegorz, Editorial Board Member, Paoli, Francesco, Editorial Board Member, Sarenac, Darko, Editorial Board Member, Schröder-Heister, Peter, Editorial Board Member, Vasyukov, Vladimir, Editorial Board Member, and Indrzejczak, Andrzej

Published
2021
Full Text
View/download PDF

18. Gentzen’s Sequent Calculus LK

Author

Indrzejczak, Andrzej, Béziau, Jean-Yves, Series Editor, Andréka, Hajnal, Editorial Board Member, Burgin, Mark, Editorial Board Member, Diaconescu, Răzvan, Editorial Board Member, Herzig, Andreas, Editorial Board Member, Koslow, Arnold, Editorial Board Member, Lee, Jui-Lin, Editorial Board Member, Maksimova, Larissa, Editorial Board Member, Malinowski, Grzegorz, Editorial Board Member, Paoli, Francesco, Editorial Board Member, Sarenac, Darko, Editorial Board Member, Schröder-Heister, Peter, Editorial Board Member, Vasyukov, Vladimir, Editorial Board Member, and Indrzejczak, Andrzej

Published
2021
Full Text
View/download PDF

24. Two Is Enough – Bisequent Calculus for S5

Author

Indrzejczak, Andrzej, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Herzig, Andreas, editor, and Popescu, Andrei, editor

Published
2019
Full Text
View/download PDF

25. Stanisław Jaśkowski: Life and Work

Author

Indrzejczak, Andrzej, Andréka, Hajnal, Editorial board, Béziau, Jean-Yves, Series Editor, Burgin, Mark, Editorial board, Diaconescu, Razvan, Editorial board, Herzig, Andreas, Editorial board, Koslow, Arnold, Editorial board, Lee, Jui-Lin, Editorial board, Maksimova, Larisa, Editorial board, Malinowski, Grzegorz, Editorial board, Paoli, Francesco, Editorial Board Member, Sarenac, Darko, Editorial board, Schroeder-Heister, Peter, Editorial board, Vasyukov, Vladimir, Editorial board, Garrido, Ángel, editor, and Wybraniec-Skardowska, Urszula, editor

Published
2018
Full Text
View/download PDF

26. Stanisław Jaśkowski and Natural Deduction Systems

Author

Indrzejczak, Andrzej, Andréka, Hajnal, Editorial board, Béziau, Jean-Yves, Series Editor, Burgin, Mark, Editorial board, Diaconescu, Razvan, Editorial board, Herzig, Andreas, Editorial board, Koslow, Arnold, Editorial board, Lee, Jui-Lin, Editorial board, Maksimova, Larisa, Editorial board, Malinowski, Grzegorz, Editorial board, Paoli, Francesco, Editorial Board Member, Sarenac, Darko, Editorial board, Schroeder-Heister, Peter, Editorial board, Vasyukov, Vladimir, Editorial board, Garrido, Ángel, editor, and Wybraniec-Skardowska, Urszula, editor

Published
2018
Full Text
View/download PDF

50. Introduction

Author

Indrzejczak, Andrzej

Published
2014

Catalog

Books, media, physical & digital resources
See catalog results