Marek W. Zawadowski

Publication Activity (10 Years)

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

Top Topics

Crossword Puzzles

Underlying Assumptions

Top Venues

Fundam. Informaticae

Math. Struct. Comput. Sci.

Appl. Categorical Struct.

Publications

Marek W. Zawadowski, Justyna Grudzinska
Polyadic Quantifiers on Dependent Types. WoLLIC (2024)
Justyna Grudzinska, Marek W. Zawadowski
Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account. J. Log. Lang. Inf. 28 (2) (2019)
Justyna Grudzinska, Marek W. Zawadowski
Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches. Fundam. Informaticae 164 (4) (2019)
Marek W. Zawadowski
co-Semi-analytic Functors. Fundam. Informaticae 164 (4) (2019)
Justyna Grudzinska, Marek W. Zawadowski
Scope ambiguities, monads and strengths. J. Lang. Model. 5 (2) (2017)
Justyna Grudzinska, Marek W. Zawadowski
Continuation semantics for multi-quantifier sentences: operation-based approaches. CoRR (2016)
Stanislaw Szawiel, Marek W. Zawadowski
Monads of Regular Theories. Appl. Categorical Struct. 23 (3) (2015)
Justyna Grudzinska, Marek W. Zawadowski
Whence Long-Distance Indefinite Readings? Solving Chierchia's Puzzle with Dependent Types. TbiLLC (2015)
Marek W. Zawadowski
Generalized Płonka Sums and Products. Appl. Categorical Struct. 23 (1) (2015)
Mikolaj Bojanczyk, Stanislaw Szawiel, Marek W. Zawadowski
Rigidity is undecidable. Math. Struct. Comput. Sci. 24 (6) (2014)
Stanislaw Szawiel, Marek W. Zawadowski
Theories of analytic monads. Math. Struct. Comput. Sci. 24 (6) (2014)
Justyna Grudzinska, Marek W. Zawadowski
Generalized Quantifiers on Dependent Types: A System for Anaphora. CoRR (2014)
Mikolaj Bojanczyk, Stanislaw Szawiel, Marek W. Zawadowski
Rigidity is undecidable CoRR (2012)
Silvio Ghilardi, Marek W. Zawadowski
From Bisimulation Quantifiers to Classifying Toposes. Advances in Modal Logic (2000)
Silvio Ghilardi, Marek W. Zawadowski
Model Completions, r-Heyting Categories. Ann. Pure Appl. Log. 88 (1) (1997)
Silvio Ghilardi, Marek W. Zawadowski
A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras. J. Symb. Log. 60 (3) (1995)
Silvio Ghilardi, Marek W. Zawadowski
Undefinability of propositional quantifiers in the modal system S4. Stud Logica 55 (2) (1995)
Marek W. Zawadowski
Descent and Duality. Ann. Pure Appl. Log. 71 (2) (1995)
Gonzalo E. Reyes, Marek W. Zawadowski
Formal systems for modal operators on locales. Stud Logica 52 (4) (1993)
Andrzej Ehrenfeucht, Marek W. Zawadowski
A representation of partial Boolean algebras. Fundam. Informaticae 16 (3-4) (1992)
Marek W. Zawadowski
The Skolem-Löwenheim theorem in toposes. II. Stud Logica 44 (1) (1985)
Andrzej W. Jankowski, Marek W. Zawadowski
Sheaves over Heyting lattices. Stud Logica 44 (3) (1985)