Laws of the Logical Calculi

&
(1989)
  Copy   BIBTEX

Abstract

"This document records some important laws of classical predicate logic. It is designed as a reservoir to be tapped by users of logic, in system development. Though a systematic presentation is attempted, many of the laws appear just because they happen to be useful."

Categories

Keywords

Reprint years

ISBN(s)

0902928589   9780902928589

Links

PhilArchive



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

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 Semantics For Modal Calculi.J. Ivlev - 1988 - Bulletin of the Section of Logic 17 (3-4):114-121.
Complexity of interpolation and related problems in positive calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Formal, Dialectical and Speculative Logic.Richard Monnier - 1989 - Dissertation, Boston University
The laws of logic.E. D. Klemke - 1966 - Philosophy of Science 33 (3):271-277.
Subject-predicate calculus free from existential import.V. A. Bocharov - 1983 - Studia Logica 42 (2-3):209 - 221.
An empirical hypothesis about natural semantics.Geoffrey Sampson - 1976 - Journal of Philosophical Logic 5 (2):209 - 236.
Prawa logiki i prawa przyrody w ujęciu Johna Bigelowa i Roberta Pargettera.Marcin Tkaczyk - 2005 - Roczniki Filozoficzne 53 (1):245-260.
The Conference "Logical Calculi".[author unknown] - 1972 - Bulletin of the Section of Logic 1 (1):1.
On the Consistency of Some Logical Calculi.P. S. Novikov - 1962 - Journal of Symbolic Logic 27 (2):246-246.
Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.
Heuristic Principles and Logical Calculi.O. F. Serebryannikov - 1972 - Coronet Books.

Analytics

Added to PP
2015-02-02

Downloads
2 (#1,800,736)

6 months
1 (#1,461,875)

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