On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus

Notre Dame Journal of Formal Logic 11 (2):249-253 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893943

Links

PhilArchive



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

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

Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
On weak and strong validity of rules for the propositional calculus.V. Frederick Rickey - 1971 - Notre Dame Journal of Formal Logic 12 (1):115-116.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
Can Bayes' Rule be Justified by Cognitive Rationality Principles?Bernard Walliser & Denis Zwirn - 2002 - Theory and Decision 53 (2):95-135.
M-valued sub-system of (m+n)-valued propositional calculus.Tzu-Hua Hoo - 1949 - Journal of Symbolic Logic 14 (3):177-181.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Consensus and normative validity.Harald Grimen - 1997 - Inquiry: An Interdisciplinary Journal of Philosophy 40 (1):47 – 61.
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.
Strengths and weaknesses of weak and strong supervenience.Mark Moyer - unknown
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Axiom schemes for m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.

Analytics

Added to PP
2010-08-24

Downloads
14 (#965,243)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references