The algebraic treatment of the methodology of elementary deductive systems

DOI10.1007/BF02124771zbMath0067.25101OpenAlexW2397416409MaRDI QIDQ766673

Jerzy Łoś

Publication date: 1955

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02124771

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (8)

Leon Henkin the Reviewer ⋮ Jerzy Łoś and a history of Abelian groups in Poland. ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ An essay in the formal theory of extension and of intension ⋮ Four studies in metamathematics ⋮ Matrix approach in methodology of sentential calculi ⋮ On semigroups admitting ring structure ⋮ Quasi-completeness in non-Fregean logic

Cites Work

• Completeness of the functional calculus of first order
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• Grundzüge der Systemenkalküls I
• The Theory of Representation for Boolean Algebras
• Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip
• The completeness of the first-order functional calculus
• A proof of the completeness theorem of Grödel
• On the application of Tychonoff's theorem in mathematical proofs
• An algebraic proof of completeness for the two-valued propositional calculus
• On the categoricity in power of elementary deductive systems and some related problems

This page was built for publication: The algebraic treatment of the methodology of elementary deductive systems