Gently Paraconsistent Calculi

descriptionPublicationkeyboard_double_arrow_right Article , Other literature type 12 Dec 2020 English Publisher:MDPI AGJournal:Axioms, volume 9, page 142 (eissn: 2075-1680,

Copyright policy )

Authors: Janusz Ciuciura;

doi: 10.3390/axioms9040142

Gently Paraconsistent Calculi

- Summary
- Subjects
- Metrics

Abstract

In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference. Each calculus will be expected to contain all axiom schemas of the positive fragment of classical propositional calculus and respect the principle of gentle explosion.

Related Organizations

Uniwersity of Lodz
Poland
University of Łódź
Poland
Uniwersytet Łódzki (University of Lodz)
Poland

Keywords

Sette’s calculus, QA1-939, paraconsistency, the principle of explosion, paracomplete calculi, paranornal logics, Mathematics, paraconsistent logic

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	3
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average