Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz

Notre Dame Journal of Formal Logic 5 (2):81-112 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957800

Links

PhilArchive



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

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 temporal logic for sortals.Max A. Freund - 2001 - Studia Logica 69 (3):351-380.
Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
Two concepts of validity and completeness.Jaroslav Peregrin - unknown
A complete and consistent formal system for sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
Arithmetical completeness versus relative completeness.Michal Grabowski - 1988 - Studia Logica 47 (3):213 - 220.
Conceptual and Derivation Systems.Jiří Raclavský & Petr Kuchyňka - 2011 - Logic and Logical Philosophy 20 (1-2):159-174.
Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.Eli Dresner - 2011 - Notre Dame Journal of Formal Logic 52 (1):75-93.
Theory of completeness for logical spaces.Kensaku Gomi - 2009 - Logica Universalis 3 (2):243-291.
What Artificial Intelligence Needs From Symbolic Logic.John McCarthy - unknown
Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence.José M. Sagüillo - 2009 - History and Philosophy of Logic 30 (1):21-48.
On the concept of material consequence.Tomis Kapitan - 1982 - History and Philosophy of Logic 3 (2):193-211.
Four concepts of validity: Reflections on inclusive and exclusive positivism.Wil J. Waluchow - unknown

Analytics

Added to PP
2010-08-24

Downloads
33 (#473,861)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A non-classical logic for physics.Robin Giles - 1974 - Studia Logica 33 (4):397 - 415.
Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.
Dialogue foundations: A sceptical look: Wilfrid Hodges.Wilfrid Hodges - 2001 - Aristotelian Society Supplementary Volume 75 (1):17–32.
Toward Truthlikeness in Historiography.Oliver Laas - 2016 - European Journal of Pragmatism and American Philosophy 8 (2).

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references