5 papers
Efficient Decision Procedures for RNmatrix Semantics
Renato R. Leme, Carlos Olarte, Elaine Pimentel
Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…
Glivenko's theorems from an ecumenical perspective
Luiz Carlos Pereira, Victor Barroso-Nascimento, Elaine Pimentel
In this paper, we revisit Glivenko's theorems, foundational results relating classical and intuitionistic logic, from an ecumenical perspective. We begin by discussing the historic…
Bilateralism with incompatible proofs and refutations
Victor Barroso-Nascimento, Maria Osório, Elaine Pimentel
Logical bilateralism challenges traditional concepts of logic by treating assertion and denial as independent yet opposed acts. While initially devised to justify classical logic,…
A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel
Linear logic (LL) is a resource-aware, abstract logic programming language that refines both classical and intuitionistic logic. Linear logic semantics is typically presented in on…
A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel
We define base-extension semantics (Bes) using atomic systems based on sequent calculus rather than natural deduction. While traditional Bes aligns naturally with intuitionistic lo…