Publikacje

Marek Zawadowski

Liczba publikacji: 34

2019

• Justyna Grudzińska-Zawadowska, Marek Zawadowski , Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches, Fundamenta Informaticae, 164 (4) 2019, s. 327-344. Zobacz w PBN
• Marek Zawadowski , co-Semi-analytic Functors, Fundamenta Informaticae, 164 (4) 2019, s. 359-373. Zobacz w PBN
• Justyna Grudzińska-Zawadowska, Marek Zawadowski , Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account, Journal of Logic, Language and Information, 28 (2) 2019, s. 239-260. Zobacz w PBN

2017

• Justyna Grudzińska-Zawadowska, Marek Zawadowski , Inverse Linking: Taking Scope with Dependent Types, The 21st Amsterdam Colloquium, Amsterdam, the Netherlands, 19 grudnia 2017 - 21 grudnia 2017. Zobacz w PBN
• Justyna Grudzińska-Zawadowska, Marek Zawadowski , Scope ambiguities, monads and strengths, Journal of Language Modelling, 5 (2) 2017, s. 179–227. Zobacz w PBN

2015

• Justyna Grudzińska-Zawadowska, Marek Zawadowski , A Puzzle about Long-distance Indefinites and Dependent Type Semantics ., 27th European Summer School in Logic, Language and Information, August 3-14, 2015, Barcelona, workshop TYTLES: Types Theory and Lexical Semantics, August 3-7, 2015., Barcelona, Spain, 3 sierpnia 2015 - 7 sierpnia 2015. Zobacz w PBN

2014

• Mikołaj Bojańczyk , Stanisław Szawiel, Marek Zawadowski , Rigidity is undecidable, Mathematical Structures in Computer Science, 24 (6) 2014, s. 1-10. Zobacz w PBN
• Justyna Grudzińska-Zawadowska, Marek Zawadowski , System with Generalized Quantifiers on Dependent Types for Anaphora, Proceedings of the Workshop on Type Theory and Natural Language Semantics (TTNLS), 2014. Zobacz w PBN
• Stanisław Szawiel, Marek Zawadowski , Theories of analytic monads, Mathematical Structures in Computer Science, 2014. Zobacz w PBN

2013

• Marek Zawadowski , Generalized Płonka sums and products, Applied Categorical Structures, 2013. Zobacz w PBN
• Stanisław Szawiel, Marek Zawadowski , Monads of Regular Theories, Applied Categorical Structures, 2013. Zobacz w PBN
• Stanisław Szawiel, Marek Zawadowski , The Web Monoid and Opetopic Sets, Journal of Pure and Applied Algebra, 2013. Zobacz w PBN

2012

• Marek Zawadowski , The formal theory of monoidal monads, Journal of Pure and Applied Algebra, 2012. Zobacz w PBN

2011

• Marek Zawadowski , Lax monoidal fibrations, 2011. Zobacz w PBN

2008

• Mihaly Makkai, Marek Zawadowski , The category of 3-computads is not cartesian closed, Journal of Pure and Applied Algebra, 2008. Zobacz w PBN

2002

• S Ghilardi, Marek Zawadowski , From bisimulation quantifiers to classifying toposes, 2002. Zobacz w PBN
• S Ghilardi, Marek Zawadowski , Sheaves, games and model completions (a categorical approach to non-classical propositional logics), 2002. Zobacz w PBN

2001

• M Makkai, Marek Zawadowski , Duality for Simple omega-categories and Disks, Theory and Applications of Categories, 2001. Zobacz w PBN

1999

• Damian Niwiński , Marek Zawadowski , Logic, algebra, and computer science. Helena Rasiowa in memoriam., 1999. Zobacz w PBN

1997

• Silvio Ghilardi, Marek Zawadowski , Model completions and r-Heyting categories, Annals of Pure and Applied Logic, 1997. Zobacz w PBN

1995

• Silvio Ghilardi, Marek Zawadowski , A sheaf representation and duality for finitely presented Heyting algebras, Journal of Symbolic Logic, 1995. Zobacz w PBN
• Marek Zawadowski , Descent and duality, Annals of Pure and Applied Logic, 1995. Zobacz w PBN
• Marek Zawadowski , Lax descent theorems for left exact categories, Dissertationes Mathematicae, 1995. Zobacz w PBN
• Marek Zawadowski , Pre-Ordered Quantifiers in Elementary Sentences of Natural Language, 1995. Zobacz w PBN
• Silvio Ghilardi, Marek Zawadowski , Undefinability of propositional quantifiers in the modal system S4, Studia Logica, 1995. Zobacz w PBN

1993

• Gonzalo Reyes, Marek Zawadowski , Formal systems for modal operators on locales, Studia Logica, 1993. Zobacz w PBN

1992

• Andrzej Ehrenfeucht, Marek Zawadowski , A representation of partial Boolean algebras, Fundamenta Informaticae, 1992. Zobacz w PBN

1989

• Marek Zawadowski , Appendix: Formalization of the feature system in terms of pre-orders, 1989. Zobacz w PBN

1985

• Andrzej Jankowski, Marek Zawadowski , Sheaves over Heyting lattices, Studia Logica, 1985. Zobacz w PBN
• Marek Zawadowski , The Skolem-Löwenheim theorem in toposes. II., Studia Logica, 1985. Zobacz w PBN

1983

• Marek Zawadowski , The Skolem-Löwenheim theorem in toposes, Studia Logica, 1983. Zobacz w PBN

Inne

• Justyna Grudzińska-Zawadowska, Marek Zawadowski , A Scope-Taking System with Dependent Types and Continuations, Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018), , s. 155-176. Zobacz w PBN
• Justyna Grudzińska-Zawadowska, Marek Zawadowski , Generalized Quantifiers on Dependent Types: A System for Anaphora, Modern Perspectives in Type-Theoretical Semantics, , s. 95-131. Zobacz w PBN
• Marek Zawadowski , Justyna Grudzińska-Zawadowska, Whence Long-Distance Indefinite Readings? Solving Chierchia’s Puzzle with Dependent Types, Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers, , s. 37-53. Zobacz w PBN