A Study of Subminimal Logics of Negation and Their Modal Companions

Bezhanishvili, Nick; Colacito, Almudena; Jongh, Dick de

doi:10.1007/978-3-662-59565-7_2

Cited by 5 publications

(6 citation statements)

References 18 publications

(29 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is worth mentioning that in [7,8], the presentation and the study of these logical systems are developed also in a Kripke-style semantical framework. Finally, [2] is concerned with a deeper algebraic account of these logics, and a first study of their modal companions.…”

Section: Preliminariesmentioning

confidence: 99%

“…Here, we also consider contrapositionally complemented lattices in terms of their term-equivalent variety of N-algebras defined by (p → q) → (¬q → ¬p) ≈ 1 plus (p → ¬p) → ¬p ≈ 1. It was proved in [7,8,2] that the following relations hold between the considered logical systems:…”

Section: Preliminariesmentioning

confidence: 99%

“…The same logic has also been discussed by Humberstone himself in [20,Section 8.33]. 2 Working in a paraconsistent setting and with weaker notions of negation sounds appealing when dealing with phenomena such as descriptions of counterfactual situations or fictional objects, information in a computer data base, negations in natural language, etc. For instance, fragments of intuitionistic logic have been considered to formalize information flow or access control, mostly because of their good balance between expressivity and tractability.…”

mentioning

confidence: 93%

“…Logical systems in which all the inconsistent theories are trivial are sometimes said to be explosive[24]. The fact that negative ex falso is seen as a weak form of explosion justifies this statement 2. We thank Allen P. Hazen, and consequently Dick de Jongh, for pointing out and discussing this reference.…”

mentioning

confidence: 98%

“…An algebraic presentation of the logical systems of our interest is the focus of Section 2. This section is a condensed presentation of the results of [7,2], and earlier papers on which these articles are based. After this, the remaining and main part of the paper is concerned with the development of a proof theory for the relevant systems.…”

mentioning

confidence: 99%

See 4 more Smart Citations

Proof Theory for Positive Logic with Weak Negation

Bílková

Colacito

2019

Stud Logica

Self Cite

View full text Add to dashboard Cite

Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and used to conclude that the considered logical systems are PSPACE-complete.Minimal propositional calculus (Minimalkalkül, denoted here as MPC) is the system obtained from the positive fragment of intuitionistic propositional calculus (equivalently, positive logic [27]) by adding a unary negation operator satisfying the so-called principle of contradiction (sometimes referred to as reductio ad absurdum, e.g., in [24]). This system was introduced in this form by Johansson in 1937 [21], and goes back to Kolmogorov's first formalization of intuitionistic logic [22], obtained by discarding ex falso quodlibet (ex falso, from now on) from the nowadays standard axioms for intuitionistic logic. A letter from Johansson to Heyting (1935Heyting ( -1936 reads [32]:[ex falso] says that once ¬a has been proved, b follows from a, even if this had not been the case before.This implies that the constructive interpretation of negation (i.e., implication) characteristic of intuitionism may give rise to doubts concerning the legitimacy of ex falso as an axiom of intuitionistic logic. More generally, by rejecting ex falso, one earns the right to study the notion of contradiction on its own and thereby, the related notion of negation.The axiomatization proposed by Johansson preserves the whole positive fragment and most of the negative fragment of Heyting's intuitionistic logic. As a matter of fact, many important properties of negation provable in Heyting's system remain provable (in some cases, in a slighlty weakened form) in minimal logic. The absence of ex falso made Johansson's system the focus of interest in the field of paraconsistency, conceived as the study of those logics which admit inconsistent non-trivial theories. From a standard paraconsistent view, minimal logic still has unfortunate features [24]. In fact, the provability of what we are going to refer to as 'negative ex falso' (a ∧ ¬a) → ¬b makes negation meaningless in inconsistent theories-since every negated formula is provable-hence preserving some of the trivial aspects distinctive of ex falso. Interestingly enough, in the setting of positive logic, negative ex falso follows already from the assumption that negation is a functional antitone operator, i.e., that it satisfies the contraposition axiom (a → b) → (¬b → ¬a) [7,8]. The latter is a theorem of Johansson's logic and one of its main

show abstract

Section: Preliminariesmentioning

confidence: 99%

Section: Preliminariesmentioning

confidence: 99%

mentioning

confidence: 93%

mentioning

confidence: 98%

mentioning

confidence: 99%

See 3 more Smart Citations