2 papers
cs.LO2025
An ecumenical view of proof-theoretic semantics
Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel
Debates concerning philosophical grounds for the validity of classical and intuitionistic logics often have the very nature of logical proofs as one of the main points of controver…
cs.LO2024
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
Carlos Olarte, Elaine Pimentel
Similar to modal connectives, the exponential ! in intuitionistic linear logic (ILL) is not canonical, in the sense that if then . Intuitively, th…