Showing math.LOShow all
2 papers · 1 filter
math.LO2011
Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics
Robert Rothenberg
We briefly examine the modal formulae that can be derived in Multiplicative Additive Linear Logic (MALL) and some extensions by using Tarksi's extensional modal operators. We also…
math.LO2011
Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics
Robert Rothenberg
We give a procedure for translating geometric Kripke frame axioms into structural hypersequent rules for the corresponding intermediate logics in Int^*/Geo that admit weakening, co…