Paraconsistent sequential calculi

Bulletin of the Section of Logic 17 (3/4):148-153 (1988)
  Copy   BIBTEX

Abstract

The constructions of sequential calculi are based on the idea of application to the deduction process not only single logical constants but complexes of them as well. Surely, making use of this idea is not obligatory in paraconsistent logic. Nevertheless, using it in this field gives us a convenient tool for seeking proofs in formulation of many paraconsistent logics. Each of sequential propositional logics discussed in this paper is obtained as a result of a transformation of a starting calculus GCL – one of sequential formalizations of classical propositional logic. Let α be a standard propositional language with a vocabulary {p1, p2, p3, . . . , −,∨, &, ⊃,¬,), we shall denote any formulas of α and by the letters Γ,∆, Σ, Θ finite sets of α-formulas

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Natural deduction systems for some non-commutative logics.Norihiro Kamide & Motohiko Mouri - 2007 - Logic and Logical Philosophy 16 (2-3):105-146.
Measuring coherence using LP-models.Carlos A. OLLER - 2004 - Journal of Applied Logic 2 (4):451-455.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Tableaux variants of some modal and relevant systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Semantical study of some systems of vagueness logic.A. Arruda & E. Alves - 1979 - Bulletin of the Section of Logic 8 (3):139-144.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.

Analytics

Added to PP
2014-01-24

Downloads
24 (#908,485)

6 months
2 (#1,685,557)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vladimir Mikhailovic Popov
Moscow State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references