Ernst Zimmermann
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Natural deduction bottom up Journal of Logic, Language and Information | 2021-10-25 | Paper |
| Decomposition of reduction Trends in Logic | 2015-05-22 | Paper |
| Full Lambek Calculus in natural deduction MLQ | 2010-02-16 | Paper |
| Predicate logical extensions of some subintuitionistic logics Studia Logica | 2009-03-17 | Paper |
| Lambek Calculus in Natural Deduction Journal Of Logic And Computation | 2008-08-15 | Paper |
| Substructural Logics in Natural Deduction Logic Journal of the IGPL | 2008-01-14 | Paper |
| scientific article; zbMATH DE number 1953898 (Why is no real title available?) | 2003-07-28 | Paper |
| A predicate logical extension of a subintuitionistic propositional logic Studia Logica | 2003-04-27 | Paper |
| Elementary definability and completeness in general and positive modal logic Journal of Logic, Language and Information | 2003-04-27 | Paper |
| Peirce's rule in natural deduction. Theoretical Computer Science | 2002-07-31 | Paper |
Research outcomes over time
This page was built for person: Ernst Zimmermann
