Mechanizing logic. I. Map logic extended formally to relational arguments

&
Notre Dame Journal of Formal Logic 25 (3):250-264 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870632

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Mechanizing logic I, map logic extended formally to relational arguments & Mechanizing logic II, automated map logic method for relational arguments on paper and by computer.John S. Rybak - 1983 - Sydney: J. & J. Rybak. Edited by Janet M. Rybak.
Mechanizing logic. II. Automated map logic method for relational arguments on paper and by computer.Janet Rybak & John Rybak - 1984 - Notre Dame Journal of Formal Logic 25 (3):265-282.
RYBAK, J., and RYBAK, J.: "Map Logic and Other Extensions of Traditional Logic". [REVIEW]M. K. Rennie - 1975 - Australasian Journal of Philosophy 53:101.
Venn diagrams extended: map logic.John Rybak & Janet Rybak - 1976 - Notre Dame Journal of Formal Logic 17 (3):469-475.
Formally defined operations in Kripke models.Luis E. Sanchis - 1973 - Notre Dame Journal of Formal Logic 14 (4):467-480.
An extended joint consistency theorem for free logic with equality.Raymond D. Gumb - 1979 - Notre Dame Journal of Formal Logic 20 (2):321-335.
The extended calculus of indications interpreted as a three-valued logic.Francisco J. Varela - 1979 - Notre Dame Journal of Formal Logic 20 (1):141-146.
A contribution to the study of extended mereologies.Czesław Lejewski - 1973 - Notre Dame Journal of Formal Logic 14 (1):55-67.
A relational representation of quasi-Boolean algebras.J. Michael Dunn - 1982 - Notre Dame Journal of Formal Logic 23 (4):353-357.
Some remarks on Quine's arguments against modal logic.John Robert Baker - 1978 - Notre Dame Journal of Formal Logic 19 (4):663-673.

Analytics

Added to PP
2010-08-24

Downloads
17 (#896,762)

6 months
9 (#355,374)

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