Marek W. Zawadowski

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