Login / Signup
Berta Grimau
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Theorem Prover
Semantic Representation
Predicate Logic
Cut Elimination
Top Venues
NCL
Synth.
J. Semant.
</>
Publications
</>
Vít Puncochár
,
Berta Grimau
Natural Deduction for Assertibility and Deniability.
NCL
(2022)
Berta Grimau
Structured Plurality Reconsidered.
J. Semant.
38 (1) (2021)
Berta Grimau
In defence of Higher-Level Plural Logic: drawing conclusions from natural language.
Synth.
198 (6) (2021)