Marek W. Zawadowski

Available identifiers

zbMath Open zawadowski.marek-wWikidataQ26250999 ScholiaQ26250999MaRDI QIDQ1319365

List of research outcomes

Publication	Date of Publication	Type
Duality for positive opetopes and positive zoom complexes	2020-12-31	Paper
Whence long-distance indefinite readings? Solving Chierchia's puzzle with dependent types	2020-01-15	Paper
Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account	2019-06-26	Paper
Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches	2019-05-24	Paper
co-Semi-analytic Functors	2019-05-24	Paper
Positive Opetopes with Contractions form a Test Category	2017-12-16	Paper
Theories of analytic monads	2016-07-26	Paper
Rigidity is undecidable	2016-07-26	Paper
Scope ambiguities, monads and strengths	2016-05-12	Paper
Monads of regular theories	2015-06-19	Paper
Polynomial and Analytic Functors and Monads, revisited	2015-06-13	Paper
Generalized Płonka sums and products	2015-02-05	Paper
Generalized Quantifiers on Dependent Types: A System for Anaphora	2014-01-31	Paper
The web monoid and opetopic sets	2013-06-24	Paper
Weights for Monoids and Actions of Monoids	2013-06-13	Paper
The formal theory of monoidal monads	2012-10-16	Paper
Lax Monoidal Fibrations	2011-10-19	Paper
The Partial Simplicial Category and Algebras for Monads	2010-12-30	Paper
Computads and Multitopic Sets	2008-11-20	Paper
The category of 3-computads is not cartesian closed	2008-09-04	Paper
Multitopes are the same as principal ordered face structures	2007-10-28	Paper
On positive opetopes, positive opetopic cardinals and positive opetopic set	2007-08-20	Paper
On ordered face structures and many-to-one computads	2007-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4430400	2003-10-09	Paper
Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics	2003-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q2709207	2001-04-18	Paper
https://portal.mardi4nfdi.de/entity/Q4395578	1999-02-22	Paper
Model completions and r-Heyting categories	1998-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q4853372	1996-08-18	Paper
A sheaf representation and duality for finitely presented Heyting algebras	1996-05-13	Paper
Undefinability of propositional quantifiers in the modal system S4	1996-02-07	Paper
Descent and duality	1995-02-28	Paper
Formal systems for modal operators on locales	1994-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4018073	1993-01-16	Paper
The Skolem-Löwenheim theorem in toposes. II	1985-01-01	Paper
Sheaves over Heyting lattices	1985-01-01	Paper
The Skolem-Löwenheim theorem in toposes	1983-01-01	Paper

Research outcomes over time

This page was built for person: Marek W. Zawadowski