Substructural Logics
75 Followers
Recent papers in Substructural Logics
ABSTRACT: This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward... more
According to the logical inferentialist, the meaning of a logical connective is determined by the inference rules that govern its use. Proof theoretic semantics attempts to make this idea precise in a proof theoretic framework, using for... more
Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper... more
This paper argues: first, that a presentist, powers based, diachronic account of modality can provide a satisfactory account of our intuitions about modality as well as a compelling rebuttal to alternative accounts; second that taking... more
It is common to find among substructural theorists the idea that to consider the logical consequence as a relation between sets (of premises and conclusions) is enough to guarantee the validity or admissibility of the structural rule of... more
Major ideas found in philosophy of logic and by implication Nathan Coppedge's philosophy.
This paper aims to provide a logical background for Combinatory Categorial Grammar (CCG) and its typological discussions. Based on the Curry-Howard correspondence between Gentzen-style proof systems and Lambek Lamda Calculi, and those... more
We overview the logic of Bunched Implications (BI) and Separation Logic (SL) from a perspective inspired by Hiroakira Ono's algebraic approach to substructural logics. We propose generalized BI algebras (GBI-algebras) as a common... more
This article introduces substructural epistemic logics by combining relational models for modal distributive substructural logics with Kripke models for normal modal logics. The main result is a general completeness theorem. It is also... more
The article adds a negative modal operator ~ to normal modal epistemic logics. ~A is seen as representing the set of propositions taken as sufficient grounds to refute A within a specific epistemic context. An operator of contextual... more
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... more
This work contributes to the theory of judgment aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgment aggregation to cope with non-classical logics, we discuss in... more
The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of... more
We will present a three-valued consequence relation for metainferences, called MI. MI no valid metainference, and thus no valid inference either. MI's consequence relation for metainferences is based on TS' consequence relation for... more
Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulation.... more
Monoidal logics were introduced as a foundational framework to analyse the proof theory of deontic logic. Building on Lambek’s work in categorical logic, logical systems are defined as deductive systems, that is, as collections of... more
In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant... more
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the... more
Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the liar and curry. Because of these paradoxes, theories of truth... more
This paper provides an inferentialist motivation for a logic belonging in the connexive family, by borrowing elements from the bilateralist interpretation for Classical Logic without the Cut rule, proposed by David Ripley. The paper... more
This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of... more
The hierarchy of metainferential logics defined in Barrio et al ([3]) and Pailos ([22]) recovers classical logic, either in the sense that every classical (meta)inferential validity is valid at some point in the hierarchy (as is stressed... more
We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics. We will also provide a recipe to build philosophical interpretations for... more
ABSTRACT: This paper shows that, for the Hertz–Gentzen Systems of 1933 (without Thinning), extended by a classical rule T1 (from the Stoics) and using certain axioms (also from the Stoics), all derivations are analytic: every cut formula... more
In this paper, we discuss the approach based on Social Choice Theory and Judgment Aggregation to the definition of collective reasoning. We shall make explicit the aggregative nature of the notion of collective reasoning that is defined... more
University Of Aberdeen This paper explores how a semantics for Prior’s infamous connective tonk should be, a connective defined by inference rules that trivialize the logic of a deductive system if that logic is supposed to be transitive.... more
The paper presents an exhaustive menu of nonmonotonic logics. The options are individuated in terms of the principles they reject. I locate, e.g., cumulative logics and relevance logics on this menu. I highlight some frequently neglected... more
In previous work, I (albeit implicitly) generalized the results of Barrio, Pailos and Szmuc on meta-inferential validity beyond all the finite stages of meta-inferences to stage omega. This short note shows that there is no reason to stop... more
We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of... more