In this paper logics defined by finite Sugihara matrices, as well as RM itself, are discussed both in their matrix (semantical) and in syntactical version. For each such a logic a deduction theorem is proved, and a few applications are given.

Hypersequents are finite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two different natural methods of switching from a single-conclusion calculus to a multiple-conclusion one. The use of multiple-conclusion sequents corresponds to using a multiplicative disjunction, while the use of single-conclusion hypersequents corresponds to using an additive one. Moreover: each of the two methods is usually based on a different natural semantic idea and accordingly leads to a different class of algebraic structures. In the cases (...) we consider here the use of multiple-conclusion sequents corresponds to focusing the attention on structures in which there is a full symmetry between the sets of designated and antidesignated elements. The use of single-conclusion hypersequents, on the other hand, corresponds to the use of structures in which all elements except one are designated. Not surprisingly, the use of multiple-conclusion hypersequents corresponds to the use of structures which are both symmetrical and with a single nondesignated element. (shrink)

It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.

In this paper we construct an extension, ℒ, of Anderson and Belnap's relevance logic R that is classical in the sense that it contains p&p → q as a theorem, and we prove that ℒ is pretabular in the sense that while it does not have a finite characteristic matrix, every proper normal extension of it does. We end the paper by commenting on the possibility of finding other classical relevance logics that are also pretabular.

This paper first shows that some versions of the logic R of Relevance do not satisfy the relevance principle introduced by Anderson and Belnap, the principle of which is generally accepted as the principle for relevance. After considering several possible (but defective) improvements of the relevance principle, this paper presents a new relevance principle for (three versions of) R, and explains why this principle is better than the original and others.

The first known statements of the deduction theorems for the first-order predicate calculus and the classical sentential logic are due to Herbrand [8] and Tarski [14], respectively. The present paper contains an analysis of closure spaces associated with those sentential logics which admit various deduction theorems. For purely algebraic reasons it is convenient to view deduction theorems in a more general form: given a sentential logic C (identified with a structural consequence operation) in a sentential language I, a quite arbitrary (...) set P of formulas of I built up with at most two distinct sentential variables p and q is called a uniform deduction theorem scheme for C if it satisfies the following condition: for every set X of formulas of I and for any formulas and , C(X{{a}}) iff P(, ) AC(X). [P(, ) denotes the set of formulas which result by the simultaneous substitution of for p and for q in all formulas in P]. The above definition encompasses many particular formulations of theorems considered in the literature to be deduction theorems. Theorem 1.3 gives necessary and sufficient conditions for a logic to have a uniform deduction theorem scheme. Then, given a sentential logic C with a uniform deduction theorem scheme, the lattices of deductive filters on the algebras A similar to the language of C are investigated. It is shown that the join-semilattice of finitely generated (= compact) deductive filters on each algebra A is dually Brouwerian. (shrink)

Let S denote the variety of Sugihara algebras. We prove that the lattice (K) of subquasivarieties of a given quasivariety K S is finite if and only if K is generated by a finite set of finite algebras. This settles a conjecture by Tokarz [6]. We also show that the lattice (S) is not modular.

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication and its neighbors. The algebraic structures corresponding to (...) the systems are then defined, and completeness results are provided. We next consider fuzzy systems satisfying new relevance principles introduced by Yang. We show that the weakening-free uninorm systems and some extensions and neighbors of R satisfy the new relevance principles. (shrink)

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMImin has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMImin is decidable.

In this paper two different formulations of Robinson's arithmetic based on relevant logic are examined. The formulation based on the natural numbers (including zero) is shown to collapse into classical Robinson's arithmetic, whereas the one based on the positive integers (excluding zero) is shown not to similarly collapse. Relations of these two formulations to R. K. Meyer's system R# of relevant Peano arithmetic are examined, and some remarks are made about the role of constant functions (e.g., multiplication by zero) in (...) relevant arithmetic. (shrink)

For odd and for even involutive, commutative residuated chains a representation theorem is presented in this paper by means of direct systems of abelian o-groups equipped with further structure. This generalizes the corresponding result of J. M. Dunnabout finite Sugihara monoids.

In Poggiolesi [. Grounding principles for implication. Synthese, 1–28], a definition of the notion of grounding in the background of a relevant framework has been introduced; this...

The Craig interpolation property is investigated for substructural logics whose algebraic semantics are varieties of semilinear pointed commutative residuated lattices. It is shown that Craig interpolation fails for certain classes of these logics with weakening if the corresponding algebras are not idempotent. A complete characterization is then given of axiomatic extensions of the “R-mingle with unit” logic that have the Craig interpolation property. This latter characterization is obtained using a model-theoretic quantifier elimination strategy to determine the varieties of Sugihara monoids (...) admitting the amalgamation property. (shrink)

Gelfand quantales are complete unital quantales with an involution, *, satisfying the property that for any element a, if a b a for all b, then a a* a = a. A Hilbert-style axiom system is given for a propositional logic, called Gelfand Logic, which is sound and complete with respect to Gelfand quantales. A Kripke semantics is presented for which the soundness and completeness of Gelfand logic is shown. The completeness theorem relies on a Stone style representation theorem for (...) complete lattices. A Rasiowa/Sikorski style semantic tableau system is also presented with the property that if all branches of a tableau are closed, then the formula in question is a theorem of Gelfand Logic. An open branch in a completed tableaux guarantees the existence of an Kripke model in which the formula is not valid; hence it is not a theorem of Gelfand Logic. (shrink)

We use an algebraic argument to prove that there are exactly two premaximal extensions of \’s consequence. We also show that one of these extensions is the minimal structurally complete extension of the unique maximal paraconsistent extension of \. Precisely, we show that there are exactly two covers of the variety of Boolean algebras in the lattice of quasivarieties of Sugihara algebras and that there is a unique minimal paraconsistent quasivariety in that lattice. We also obtain a corollary stating that (...) the set of paraconsistent extensions of \ forms a complete sublattice of the lattice of all \’s extensions. (shrink)

Pretabularity is the attribute of logics that are not characterised by finite matrices, but all of whose proper extensions are. Two of the first-known pretabular logics were Dummett’s famous super-...

The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras has no such cover; the other has just one. The remaining two atoms lack nontrivial idempotent members. They are generated, respectively, by 4-element De Morgan monoids C4 and D4, where C4 is the only nontrivial 0-generated algebra onto which finitely subdirectly irreducible De Morgan monoids may (...) be mapped by noninjective homomorphisms. The homomorphic preimages of C4 within DMM constitute a proper quasivariety, which is shown to have a largest subvariety U. The covers of the variety within U are revealed here. There are just ten of them. In exactly six of these ten varieties, all nontrivial members have C4 as a retract. In the varietal join of those six classes, every subquasivariety is a variety—in fact, every finite subdirectly irreducible algebra is projective. Beyond U, all covers of [or of ] within DMM are discriminator varieties. Of these, we identify infinitely many that are finitely generated, and some that are not. We also prove that there are just 68 minimal quasivarieties of De Morgan monoids. (shrink)

The aim of the paper is to prove the result announced by the title.

This paper deals with one kind of Kripke-style semantics, which we shall call algebraic Kripke-style semantics, for relevance logics. We first recall the logic R of relevant implication and some closely related systems, their corresponding algebraic structures, and algebraic completeness results. We provide simpler algebraic completeness proofs. We then introduce various types of algebraic Kripke-style semantics for these systems and connect them with algebraic semantics.

Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique conjunctive matrix ℳ4 with exactly two distinguished values over an expansion.

A 1-ary sentential context is aggregative (according to a consequence relation) if the result of putting the conjunction of two formulas into the context is a consequence (by that relation) of the results of putting first the one formula and then the other into that context. All 1-ary contexts are aggregative according to the consequence relation of classical propositional logic (though not, for example, according to the consequence relation of intuitionistic propositional logic), and here we explore the extent of this (...) phenomenon, generalized to having arbitrary connectives playing the role of conjunction; among intermediate logics, LC, shows itself to occupy a crucial position in this regard, and to suggest a characterization, applicable to a broader range of consequence relations, in terms of a variant of the notion of idempotence we shall call componentiality. This is an analogue, for the consequence relations of propositional logic, of the notion of a conservative operation in universal algebra. (shrink)

A logic is a pair (P,Q) where P is a set of formulas of a fixed propositional language and Q is a set of rules. A formula is deducible from X in the logic (P, Q) if it is deducible from XP via Q. A matrix is strongly adequate to (P, Q) if for any , X, is deducible from X iff for every valuation in , is designated whenever all the formulas in X are. It is proved in the (...) present paper that if Q = {modus ponens, adjunction } and P {E, R, E +, R +, E I, R I } then there exists a matrix strongly adequate to (P, Q). (shrink)

Most of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise.

KR is Anderson and Belnap’s relevance logic R with the addition of the axiom of EFQ: \ \rightarrow q\). Since KR is relevantistic as to implication but classical as to negation, it has been dubbed, among many others, a ‘classical relevance logic.’ For KR, there have been known so far just two pretabular normal extensions. For these pretabular logics, no simple axiomatizations have yet been presented. In this paper, we offer some and show that they do the job. We also (...) introduce some Routley–Meyer semantic conditions for these axioms. All these may facilitate realizing our desire to discover other classical pretabular extensions over KR, if such extensions exist. (shrink)

Pretabular logics are those that lack finite characteristic matrices, although all of their normal proper extensions do have some finite characteristic matrix. Although for Anderson and Belnap’s relevance logic R, there exists an uncountable set of pretabular extensions :1249–1270, 2008), for the classical relevance logic \\rightarrow B\}\) there has been known so far a pretabular extension: \. In Section 1 of this paper, we introduce some history of pretabularity and some relevance logics and their algebras. In Section 2, we introduce (...) a new pretabular logic, which we shall name \, and which is a neighbor of \, in that it is an extension of KR. Also in this section, an algebraic semantics, ‘\-algebras’, will be introduced and the characterization of \ to the set of finite \-algebras will be shown. In Section 3, the pretabularity of \ will be proved. (shrink)

The aim of this paper is to study the refutation system consisting of the refutation axiom p ∧ ¬p → q and the refutation rules: reverse substitution and reverse modus ponens (B/A, if A → B ∈ RM). It is shown that the refutation system is characteristic for the logic of the 3-element RM algebra.

The subsystem S of Parry's AI [10] (obtained by omitting modus ponens for the material conditional) is axiomatized and shown to be strongly complete for a class of three valued Kripke style models. It is proved that S is weakly complete for the class of consistent models, and therefore that Ackermann's rule is admissible in S. It also happens that S is decidable and contains the Lewis system S4 on translation — though these results are not presented here. S is (...) arguably the most relevant relevant logic known at this time to be decidable. (shrink)

We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom $$(p\rightarrow q)\vee (q\rightarrow p)$$ ( p → q ) ∨ ( q → p ) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.

Hereditary structural completeness is established for a range of substructural logics, mainly without the weakening rule, including fragments of various relevant or many-valued logics. Also, structural completeness is disproved for a range of systems, settling some previously open questions.

The primary objective of this paper, which is an addendum to the author’s [8], is to apply the general study of the latter to Łukasiewicz’s n-valued logics [4]. The paper provides an analytical expression of a 2(n−1)-place sequent calculus (in the sense of [10, 9]) with the cut-elimination property and a strong completeness with respect to the logic involved which is most compact among similar calculi in the sense of a complexity of systems of premises of introduction rules. This together (...) with a quite effective procedure of construction of an equality determinant (in the sense of [5]) for the logics involved to be extracted from the constructive proof of Proposition 6.10 of [6] yields an equally effective procedure of construction of both Gentzen-style [2] (i.e., 2-place) and Tait-style [11] (i.e., 1-place) minimal sequent calculi following the method of translations described in Subsection 4.2 of [7]. (shrink)