A set of axioms for the propositional calculus with implication and converse non-implication

Notre Dame Journal of Formal Logic 6 (2):123-128 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093958151

Links

PhilArchive



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

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 non-equivalence.Anjan Shukla - 1966 - Notre Dame Journal of Formal Logic 7 (3):281-286.
The formalization of implication in propositional logic.Patrick F. Schindler - unknown
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Propositional calculus in implication and non-equivalence.A. N. Prior - 1969 - Notre Dame Journal of Formal Logic 10 (3):271-272.
A weak intuitionistic propositional logic with purely constructive implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Implication with possible exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
Eliminating “converse” from converse PDL.Giuseppe Giacomo - 1996 - Journal of Logic, Language and Information 5 (2):193-208.
On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
Introduction of implication and generalization in axiomatic calculi.Jean-Yves Beziau - manuscript
Introduction of Implication and Generalization in Axiomatic Calculi.Arthur Buchsbaum & Jean-Yves Beziau - unknown

Analytics

Added to PP
2010-08-24

Downloads
33 (#485,976)

6 months
19 (#136,521)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Handbook of Logical Thought in India.Sundar Sarukkai & Mihir Chakraborty (eds.) - 2018 - New Delhi, India: Springer.

Add more citations

References found in this work

No references found.

Add more references