On the discussive conjunction in the propositional calculus for inconsistent deductive systems

Logic and Logical Philosophy 7:57 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2014

DOI

10.12775/llp.1999.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

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

Through your library

My notes

Similar books and articles

A propositional calculus for inconsistent deductive systems.Stanisław Jaśkowski - 1999 - Logic and Logical Philosophy 7:35.
Propositional calculus for contradictory deductive systems.Stanisław Jaśkowski - 1969 - Studia Logica 24 (1):143 - 160.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Remarks on discussive propositional calculus.Tomasz Furmanowski - 1975 - Studia Logica 34 (1):39 - 43.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
A note on the system of propositional calculus with primitive rule of extensionality.K. Hałkowska - 1967 - Studia Logica 20 (1):150-150.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Systems of illative combinatory logic complete for first-order propositional and predicate calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Archive for Mathematical Logic 37 (5-6):327-341.
Leibniz's complete propositional logic.Hector-Neri Castañeda - 1990 - Topoi 9 (1):15-28.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.

Analytics

Added to PP
2014-01-15

Downloads
31 (#507,725)

6 months
7 (#417,309)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Conjunctive paraconsistency.Franca D’Agostini - 2021 - Synthese 199 (3-4):6845-6874.
Hegel’s Interpretation of the Liar Paradox.Franca D’Agostini & Elena Ficara - 2021 - History and Philosophy of Logic 43 (2):105-128.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references