Marek W. Zawadowski

According to our database, Marek W. Zawadowski authored at least 20 papers between 1985 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account.

Justyna Grudzinska, Marek W. Zawadowski

J. Log. Lang. Inf., 2019

co-Semi-analytic Functors.

Marek W. Zawadowski

Fundam. Informaticae, 2019

Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches.

Justyna Grudzinska, Marek W. Zawadowski

Fundam. Informaticae, 2019

2017

Scope ambiguities, monads and strengths.

Justyna Grudzinska, Marek W. Zawadowski

J. Lang. Model., 2017

2015

Generalized Płonka Sums and Products.

Marek W. Zawadowski

Appl. Categorical Struct., 2015

Monads of Regular Theories.

Stanislaw Szawiel, Marek W. Zawadowski

Appl. Categorical Struct., 2015

Whence Long-Distance Indefinite Readings? Solving Chierchia's Puzzle with Dependent Types.

Justyna Grudzinska, Marek W. Zawadowski

Proceedings of the Logic, Language, and Computation, 2015

2014

Theories of analytic monads.

Stanislaw Szawiel, Marek W. Zawadowski

Math. Struct. Comput. Sci., 2014

Rigidity is undecidable.

Mikolaj Bojanczyk, Stanislaw Szawiel, Marek W. Zawadowski

Math. Struct. Comput. Sci., 2014

Generalized Quantifiers on Dependent Types: A System for Anaphora.

Justyna Grudzinska, Marek W. Zawadowski

CoRR, 2014

2002

Sheaves, games, and model completions - a categorical approach to nonclassical propositional logics.

Silvio Ghilardi, Marek W. Zawadowski

Trends in logic 14, Springer, ISBN: 978-1-4020-0660-9, 2002

2000

From Bisimulation Quantifiers to Classifying Toposes.

Silvio Ghilardi, Marek W. Zawadowski

Proceedings of the Advances in Modal Logic 3, 2000

1997

Model Completions, r-Heyting Categories.

Silvio Ghilardi, Marek W. Zawadowski

Ann. Pure Appl. Log., 1997

1995

Undefinability of propositional quantifiers in the modal system S4.

Silvio Ghilardi, Marek W. Zawadowski

Stud Logica, 1995

A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras.

Silvio Ghilardi, Marek W. Zawadowski

J. Symb. Log., 1995

Descent and Duality.

Marek W. Zawadowski

Ann. Pure Appl. Log., 1995

1993

Formal systems for modal operators on locales.

Gonzalo E. Reyes, Marek W. Zawadowski

Stud Logica, 1993

1992

A representation of partial Boolean algebras.

Andrzej Ehrenfeucht, Marek W. Zawadowski

Fundam. Informaticae, 1992

1985

The Skolem-Löwenheim theorem in toposes. II.

Marek W. Zawadowski

Stud Logica, 1985

Sheaves over Heyting lattices.

Andrzej W. Jankowski, Marek W. Zawadowski

Stud Logica, 1985