3 papers
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…
cs.LO2011
Proof-Theoretic Soundness and Completeness
Robert Rothenberg
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a p…
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…