Propositional calculus for contradictory deductive systems

Studia Logica 24 (1):143 - 160 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02134311

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
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.
Modal logic as metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.
Inferentializing consequence.Jaroslav Peregrin - unknown
A deduction theorem schema for deductive systems of propositional logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
Leibniz-linked Pairs of Deductive Systems.Josep Maria Font & Ramon Jansana - 2011 - Studia Logica 99 (1-3):171-202.
Minimum propositional proof length is NP-Hard to linearly approximate.Michael Alekhnovich, Sam Buss, Shlomo Moran & Toniann Pitassi - 2001 - Journal of Symbolic Logic 66 (1):171-191.
Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].

Analytics

Added to PP
2009-01-28

Downloads
112 (#159,349)

6 months
16 (#160,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Impossible Worlds.Francesco Berto - 2013 - Stanford Encyclopedia of Philosophy (2013):en ligne.
Conjunctive paraconsistency.Franca D’Agostini - 2021 - Synthese 199 (3-4):6845-6874.
Social Inconsistency.Thomas Brouwer - 2022 - Ergo: An Open Access Journal of Philosophy 9.
Identifying logical evidence.Ben Martin - 2020 - Synthese 198 (10):9069-9095.
On Fine’s fragmentalism.Martin A. Lipman - 2015 - Philosophical Studies 172 (12):3119-3133.

View all 84 citations / Add more citations

References found in this work

Modalities and quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.
Die Philosophie des Als Ob.H. Vaihinger - 1911 - Kant Studien 16 (1-3).
Einleitung.Oskar Becker - 1930 - Jahrbuch für Philosophie Und Phänomenologische Forschung 11:498.

Add more references