Logic without tautologies

Notre Dame Journal of Formal Logic 15 (3):411-431 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891403

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

On a Three-Valued Logic with Blamey’s Interjunction for the Formal Description of Atomic Transactions.Mateusz M. Radzki - 2020 - Axiomathes 30 (2):177-191.
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 , pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 , pp. 206–208. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245.
More logics without tautologies.Leo Simons - 1978 - Notre Dame Journal of Formal Logic 19 (4):543-557.
An axiom - system for {"K;N"} - propositional calculus related to Simons' axiomatization of S3.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:206.
Elementary logic without referential quantification.John Thomas Canty - 1971 - Notre Dame Journal of Formal Logic 12 (4):441-446.
Illative combinatory logic without equality as a primitive predicate.M. W. Bunder - 1982 - Notre Dame Journal of Formal Logic 23 (1):62-70.
Syllogistic without existence.John Bacon - 1967 - Notre Dame Journal of Formal Logic 8 (3):195-219.
An intensional logic of predicates and predicate modifiers without modal operators.James Andrew Fulton - 1979 - Notre Dame Journal of Formal Logic 20 (4):807-834.
S5 without modal axioms.John Williamson - 1979 - Notre Dame Journal of Formal Logic 20:593.
Completeness without the Barcan formula.M. J. Cresswell - 1968 - Notre Dame Journal of Formal Logic 9 (1):75-80.

Analytics

Added to PP
2010-08-24

Downloads
39 (#605,689)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references