The algebraic treatment of the methodology of elementary deductive systems
From MaRDI portal
Publication:766673
DOI10.1007/BF02124771zbMATH Open0067.25101OpenAlexW2397416409MaRDI QIDQ766673FDOQ766673
Authors: 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
Cites Work
- The Theory of Representation for Boolean Algebras
- The completeness of the first-order functional calculus
- A proof of the completeness theorem of Grödel
- Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip
- On the application of Tychonoff's theorem in mathematical proofs
- On the categoricity in power of elementary deductive systems and some related problems
- Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
- Grundzüge der Systemenkalküls I
- An algebraic proof of completeness for the two-valued propositional calculus
- Completeness of the functional calculus of first order
Cited In (8)
- 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
- Quasi-completeness in non-Fregean logic
- Matrix approach in methodology of sentential calculi
- On semigroups admitting ring structure
- Leon Henkin the reviewer
- An essay in the formal theory of extension and of intension
- Four studies in metamathematics
This page was built for publication: The algebraic treatment of the methodology of elementary deductive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766673)