default search action

combined dblp search
author search
venue search
publication search

ask others

Ernst Zimmermann

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jolli/Zimmermann21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Zimmermann21
Ernst Zimmermann:
Natural Deduction Bottom Up. J. Log. Lang. Inf. 30(3): 601-631 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2010
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Zimmermann10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Zimmermann10
Ernst Zimmermann:
Full Lambek Calculus in natural deduction. Math. Log. Q. 56(1): 85-88 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Zimmermann09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Zimmermann09
Ernst Zimmermann:
Predicate Logical Extensions of some Subintuitionistic Logics. Stud Logica 91(1): 131-138 (2009)
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Zimmermann08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Zimmermann08
Ernst Zimmermann:
Lambek Calculus in Natural Deduction. J. Log. Comput. 18(4): 589-600 (2008)
2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Zimmermann07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Zimmermann07
Ernst Zimmermann:
Substructural Logics in Natural Deduction. Log. J. IGPL 15(3): 211-232 (2007)
2003
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Zimmermann03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Zimmermann03
Ernst Zimmermann:
Elementary Definability and Completeness in General and Positive Modal Logic. J. Log. Lang. Inf. 12(1): 99-117 (2003)
2002
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Zimmermann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Zimmermann02
Ernst Zimmermann:
A Predicate Logical Extension of a Subintuitionistic Propositional Logic. Stud Logica 72(3): 401-410 (2002)
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Zimmermann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Zimmermann02
Ernst Zimmermann:
Peirce's Rule in Natural Deduction. Theor. Comput. Sci. 275(1-2): 561-574 (2002)
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/Zimmermann01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/Zimmermann01
Ernst Zimmermann:
A Subintuitionistic Logic and Some of Its Methods. RelMiCS 2001: 228-240

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.