Results 11 to 20 of about 481 (175)
A Substructural Modal Logic of Utility
Journal of Logic and Computation, 2016 Abstract We introduce a substructural modal logic of utility that can be used to reason aboutoptimality with respect to properties of states. Our notion of state is quite general, and is able to represent resource allocation problems in distributed systems. The underlying logic is a variant of the modal logic of bunched implications, and
Gabrielle Anderson, David Pym
openalex +4 more sources
Constructive Logic with Strong Negation as a Substructural Logic [PDF]
Journal of Logic and Computation, 2008 Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some axiomatic extensions of CLSN. For instance, we prove that Nilpotent minimum logic is the extension of CLSN by the prelinearity axiom ...
Manuela Busaniche, Roberto Cignoli
openalex +4 more sources
Theorem provers for substructural logics
Publications de l'Institut Mathematique, 2007 We describe theorem provers for some decidable propositional substructural logics.
Mirjana Ilić
openalex +3 more sources
Labelled natural deduction for substructural logics [PDF]
Logic Journal of IGPL, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Krysia Broda +2 more
openalex +6 more sources
Semi-Substructural Logics with Additives [PDF]
Electronic Proceedings in Theoretical Computer ScienceThis work concerns the proof theory of (left) skew monoidal categories and their variants (e.g. closed monoidal, symmetric monoidal), continuing the line of work initiated in recent years by Uustalu et al. Skew monoidal categories are a weak version of Mac Lane's monoidal categories, where the structural laws are not required to be invertible, they are
Niccolò Veltrì, Cheng-Syuan Wan
openalex +3 more sources
Resource-driven Substructural Defeasible Logic [PDF]
, 2018 Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.
Francesco Olivieri +4 more
openalex +4 more sources
Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]
Logical Methods in Computer ScienceSubstructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar, rather than ...
Francesco Dagnino, Fabio Pasquali
openalex +2 more sources
Kleene Algebras, Regular Languages and Substructural Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce the two substructural propositional logics KL, KL+ , which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a variant thereof.
Christian Wurm
openalex +3 more sources
Circular Proofs as Session-Typed Processes: A Local Validity Condition [PDF]
Logical Methods in Computer Science, 2022 Proof theory provides a foundation for studying and reasoning about programming languages, most directly based on the well-known Curry-Howard isomorphism between intuitionistic logic and the typed lambda-calculus.
Farzaneh Derakhshan, Frank Pfenning
doaj +1 more source
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source