Showing 1–3 of 3 results for author: Rothenberg, R

Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics

Authors: Robert Rothenberg

Abstract: 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 breifly compare this with a substructural form of the modal logic K. 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 breifly compare this with a substructural form of the modal logic K. △ Less

Submitted 8 May, 2011; v1 submitted 2 May, 2011; originally announced May 2011.

Comments: 8 pages, work in progress

MSC Class: 03 ACM Class: F.4.1

Proof-Theoretic Soundness and Completeness

Authors: Robert Rothenberg

Abstract: 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 proof-theoretic soundness and completeness proof, which we believe is conducive to automation. 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 proof-theoretic soundness and completeness proof, which we believe is conducive to automation. △ Less

Submitted 27 April, 2022; v1 submitted 3 April, 2011; originally announced April 2011.

Comments: The proofs are flawed

MSC Class: 03 ACM Class: F.4.1

Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics

Authors: Robert Rothenberg

Abstract: 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, contraction and in some cases, cut. We give a procedure for translating labelled sequents in the corresponding logic to hypersequents that share the same linear models (which correspond to Gödel-Dummett logic). We prove th… ▽ More 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, contraction and in some cases, cut. We give a procedure for translating labelled sequents in the corresponding logic to hypersequents that share the same linear models (which correspond to Gödel-Dummett logic). We prove that labelled proofs Int^*/Geo can be translated into hypersequent proofs that may use the linearity rule, which corresponds to the well-known communication rule for Gödel-Dummett logic. △ Less

Submitted 28 October, 2013; v1 submitted 1 February, 2011; originally announced February 2011.

Comments: 19 pages, 5 figures, 1 table, longer versions of proofs from conference paper and journal submission

MSC Class: 03F03 ACM Class: F.4.1