A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication

&
Journal of Symbolic Logic 31 (4):664 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269735

Links

PhilArchive



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

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 set of axioms for the propositional calculus with implication and converse non-implication.Anjan Shukla - 1965 - Notre Dame Journal of Formal Logic 6 (2):123-128.
A set of axioms for the propositional calculus with implication and non-equivalence.Anjan Shukla - 1966 - Notre Dame Journal of Formal Logic 7 (3):281-286.
O implikacji kauzalnej.Anna Modrzejewska - 2004 - Roczniki Filozoficzne 52 (1):215-224.
The formalization of implication in propositional logic.Patrick F. Schindler - unknown
Ockham’s Calculus of Strict Implication.Wolfgang Lenzen - 2015 - Logica Universalis 9 (2):181-191.
Every Two-valuated Propositional Calculus Has The Interpolation Property.Zdzislaw Dywan & Teodor Stepien - 1980 - Bulletin of the Section of Logic 9 (4):152-153.
An intensional interpretation of truth-values.Alan Ross Anderson - 1972 - Mind 81 (323):348-371.
Conservativity of Heyting implication over relevant quantification.Robert Goldblatt - 2009 - Review of Symbolic Logic 2 (2):310-341.
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. [REVIEW]Peter Schroeder-Heister - 2011 - Journal of Philosophical Logic 40 (1):95 - 101.
Uwagi o implikacji materialnej.Stanisław Kiczuk - 2006 - Roczniki Filozoficzne 54 (1):69-79.
Meanings of Implication.John Corcoran - 1973 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 9 (24):59-76.
Two logics of analytic classical implication.Marek Nowak - 2002 - Logica Trianguli 6:25-40.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
Eliminating “converse” from converse PDL.Giuseppe Giacomo - 1996 - Journal of Logic, Language and Information 5 (2):193-208.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.

Analytics

Added to PP
2013-11-03

Downloads
21 (#735,650)

6 months
3 (#969,763)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references