4 papers
From Phase Semantics to Base-extension Semantics (and back)
Ekaterina Piotrovskaya
Linear logic admits a wide range of semantic presentations reflecting its resource-sensitive notion of consequence. One well-known example is phase semantics: an algebraic semantic…
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…
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…
Learning Closed Signal Flow Graphs
Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi
We develop a learning algorithm for closed signal flow graphs - a graphical model of signal transducers. The algorithm relies on the correspondence between closed signal flow graph…