Positive Arithmetic Without Exchange Is a Subclassical Logic
Abstract elided by the publisher.
Related papers
- Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic VMCAI 2019
- Analytic Constraint Solving and Interval Arithmetic POPL 2000
- Complete Abstractions and Subclassical Modal Logics VMCAI 2017
- Roles and Dynamic Subclasses: A Modal Logic Approach ECOOP 1994
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VMCAI 2014
- Safely creating correct subclasses without seeing superclass code OOPSLA 2000
- Strategy synthesis for linear arithmetic games POPL 2018
- Interconnectability of Session-Based Logical Processes TOPLAS 2018