◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Rosalie Iemhoff

15 papers hereh-index 171.1k citations73 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author3
  • first author4
  • middle author5
  • last author3

Across the 15 of 15 papers where every author was matched, so the position is known.

fields
  • math.LO12
  • cs.LO3

identity via Semantic Scholar / OpenAlex

activity
20152025
most citedQuestions and dependency in intuitionistic logic

39 citations · 60 across the 14 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

math.LO2015★ 14 cited

Structural completeness in propositional logics of dependence

Rosalie Iemhoff, Fan Yang

In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.