The algebraic treatment of the methodology of elementary deductive systems
type: Item
instance of: scholarly article
title: The algebraic treatment of the methodology of elementary deductive systems
zbMATH Open document ID: 0067.25101
DOI: 10.1007/BF02124771
author: Jerzy Łoś
published in: Studia Logica
publication date: 1955-01-01T00:00:00Z
zbMATH DE Number: 3114389
zbMATH Keywords: philosophy and foundations of mathematics
MaRDI profile type: Publication
cites work: The completeness of the first-order functional calculus
cites work: Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
cites work: An algebraic proof of completeness for the two-valued propositional calculus
cites work: On the categoricity in power of elementary deductive systems and some related problems
cites work: On the application of Tychonoff's theorem in mathematical proofs
cites work: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip
cites work: A proof of the completeness theorem of Grödel
cites work: Completeness of the functional calculus of first order
cites work: The Theory of Representation for Boolean Algebras
cites work: Grundzüge der Systemenkalküls I
full work available at URL: https://doi.org/10.1007/bf02124771
OpenAlex ID: W2397416409
description: scientific article; zbMATH DE number 3114389