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: 91,532

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.
Venn diagrams extended: map logic.John Rybak & Janet Rybak - 1976 - Notre Dame Journal of Formal Logic 17 (3):469-475.
Map logic and other extensions of traditional logic.John S. Rybak - 1973 - Sydney: [the authors, 8 Stratford Avenue, Denistone, 2114]. Edited by Janet M. Rybak.
Map logic.J. S. Rybak & J. M. Rybak - 1975 - Australasian Journal of Philosophy 53 (3):257 – 259.
Stoic Logic.Susanne Bobzien - 2003 - In Brad Inwood (ed.), The Cambridge Companion to Stoic Philosophy. Cambridge University Press.
There are some questions that can't be answered by logic.Jan van Eijck - unknown
Specification with Alloy — Foundations.Jan van Eijck - unknown
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
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.
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
Modality and Databases.Melvin Fitting - unknown
The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
Head or tail? de morgan on the bounds of traditional logic.Víctor Sánchez Valencia - 1997 - History and Philosophy of Logic 18 (3):123-138.

Analytics

Added to PP
2010-08-24

Downloads
17 (#862,032)

6 months
9 (#300,097)

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