The transitivity of implication in tree logic

Notre Dame Journal of Formal Logic 24 (1):106-114 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870224

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

Tree formulations of tense logic.Jack Copeland - manuscript
Cycling with Rules of Thumb: An Experimental Test for a new form of Non-Transitive Behaviour.Chris Starmer - 1999 - Theory and Decision 46 (2):139-157.
On the Cycle-Transitivity of the Dice Model.B. de Schuymer, H. de Meyer, B. de Baets & S. Jenei - 2003 - Theory and Decision 54 (3):261-285.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Building iteration trees.Alessandro Andretta - 1991 - Journal of Symbolic Logic 56 (4):1369-1384.
The formalization of implication in propositional logic.Patrick F. Schindler - unknown
The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars.Stephan Kepser & Jim Rogers - 2011 - Journal of Logic, Language and Information 20 (3):361-384.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
Transitivity and Intransitivity in Evidential Support: Some Further Results.William Roche - 2012 - Review of Symbolic Logic 5 (2):259-268.
Implication with possible exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
The product of implication and counter-implication systems.Rangaswamy V. Setlur - 1970 - Notre Dame Journal of Formal Logic 11 (2):241-248.
Lexicalized Non-Local MCTAG with Dominance Links is NP-Complete.Lucas Champollion - 2011 - Journal of Logic, Language and Information 20 (3):343-359.
The consistency strength of successive cardinals with the tree property.Matthew Foreman, Menachem Magidor & Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (4):1837-1847.

Analytics

Added to PP
2010-08-24

Downloads
18 (#835,016)

6 months
9 (#312,765)

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