Marek W. Zawadowski

Proceedings of the Logic, Language, Information, and Computation, 2024

2019

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

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2019

co-Semi-analytic Functors.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

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

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

2017

Scope ambiguities, monads and strengths.

[BibT_eX]

[DOI]

J. Lang. Model., 2017

2015

Generalized Płonka Sums and Products.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2015

Monads of Regular Theories.

[BibT_eX]

[DOI]

Stanislaw Szawiel

Appl. Categorical Struct., 2015

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

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2015

2014

Theories of analytic monads.

[BibT_eX]

[DOI]

Stanislaw Szawiel

Math. Struct. Comput. Sci., 2014

Rigidity is undecidable.

[BibT_eX]

[DOI]

Mikolaj Bojanczyk

Stanislaw Szawiel

Math. Struct. Comput. Sci., 2014

Generalized Quantifiers on Dependent Types: A System for Anaphora.

[BibT_eX]

[DOI]

CoRR, 2014

2002

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

[BibT_eX]

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

2000

From Bisimulation Quantifiers to Classifying Toposes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 3, 2000

1997

Model Completions, r-Heyting Categories.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1997

1995

Undefinability of propositional quantifiers in the modal system S4.

[BibT_eX]

[DOI]

Stud Logica, 1995

A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras.

[BibT_eX]

[DOI]

J. Symb. Log., 1995

Descent and Duality.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1995

1993

Formal systems for modal operators on locales.

[BibT_eX]

[DOI]

Gonzalo E. Reyes

Stud Logica, 1993

1992

A representation of partial Boolean algebras.

[BibT_eX]

Andrzej Ehrenfeucht

Fundam. Informaticae, 1992

1985

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

[BibT_eX]

[DOI]

Stud Logica, 1985

Sheaves over Heyting lattices.

[BibT_eX]

[DOI]

Andrzej W. Jankowski