947 research outputs found
Models for Substructural Arithmetics
This paper explores models for arithmetic in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent. We will start to fill in the picture in this paper by examining frame semantics for the substructural logics C (linear logic plus distribution), R (relevant logic) and CK (C plus weakening). The eventual goal is to find negation complete models for arithmetic in R
Models for Substructural Arithmetics
This paper explores models for arithmetic in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent. We will start to fill in the picture in this paper by examining frame semantics for the substructural logics C (linear logic plus distribution), R (relevant logic) and CK (C plus weakening). The eventual goal is to find negation complete models for arithmetic in R
A cognitive view of relevant implication
Relevant logics provide an alternative to classical implication
that is capable of accounting for the relationship between the antecedent
and the consequence of a valid implication. Relevant implication is usually
explained in terms of information required to assess a proposition.
By doing so, relevant implication introduces a number of cognitively relevant
aspects in the denition of logical operators. In this paper, we
aim to take a closer look at the cognitive feature of relevant implication.
For this purpose, we develop a cognitively-oriented interpretation of the
semantics of relevant logics. In particular, we provide an interpretation
of Routley-Meyer semantics in terms of conceptual spaces and we show
that it meets the constraints of the algebraic semantics of relevant logic
Logics for modelling collective attitudes
We introduce a number of logics to reason about collective propositional
attitudes that are defined by means of the majority rule. It is well known that majoritarian
aggregation is subject to irrationality, as the results in social choice theory and judgment
aggregation show. The proposed logics for modelling collective attitudes are based on
a substructural propositional logic that allows for circumventing inconsistent outcomes.
Individual and collective propositional attitudes, such as beliefs, desires, obligations, are
then modelled by means of minimal modalities to ensure a number of basic principles. In
this way, a viable consistent modelling of collective attitudes is obtained
LP, K3, and FDE as Substructural Logics
Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.
Resource-driven Substructural Defeasible Logic
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
Coalgebraic completeness-via-canonicity for distributive substructural logics
We prove strong completeness of a range of substructural logics with respect
to a natural poset-based relational semantics using a coalgebraic version of
completeness-via-canonicity. By formalizing the problem in the language of
coalgebraic logics, we develop a modular theory which covers a wide variety of
different logics under a single framework, and lends itself to further
extensions. Moreover, we believe that the coalgebraic framework provides a
systematic and principled way to study the relationship between resource models
on the semantics side, and substructural logics on the syntactic side.Comment: 36 page
An Abstract Approach to Consequence Relations
We generalise the Blok-J\'onsson account of structural consequence relations,
later developed by Galatos, Tsinakis and other authors, in such a way as to
naturally accommodate multiset consequence. While Blok and J\'onsson admit, in
place of sheer formulas, a wider range of syntactic units to be manipulated in
deductions (including sequents or equations), these objects are invariably
aggregated via set-theoretical union. Our approach is more general in that
non-idempotent forms of premiss and conclusion aggregation, including multiset
sum and fuzzy set union, are considered. In their abstract form, thus,
deductive relations are defined as additional compatible preorderings over
certain partially ordered monoids. We investigate these relations using
categorical methods, and provide analogues of the main results obtained in the
general theory of consequence relations. Then we focus on the driving example
of multiset deductive relations, providing variations of the methods of matrix
semantics and Hilbert systems in Abstract Algebraic Logic
- …