Matches in SemOpenAlex for { <https://semopenalex.org/work/W2910590616> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2910590616 abstract "During his brief life, the Polish mathematician and logician Adolf Lindenbaum (1904--1941) contributed to mathematical logic, among other things, by several significant achievements. Some results of Lindenbaum's, which bear his name, were published without proofs by other people from the Lvov--Warsaw School and the proofs later were provided by some others, though the authorship of Lindenbaum has never been challenged. Many may have heard about Lindenbaum's lemma, asserting the existence of Lindenbaum's extension, and Lindenbaum-Tarski algebra; less known is Lindenbaum's logical matrix. This tutorial is devoted to the two last concepts rather than the first one. However, the latter can be understood in a purely algebraic fashion, if one employs the notion of Lindenbaum-Tarski algebra. In general, the notions of Lindenbaum matrix and Lindenbaum-Tarski algebra have paved a way to further algebraization of logic, which had been begun by George Boole in the 19th century, as well as to a new branch of logic, model theory. For this reason, the present tutorial is also a gentle introduction to algebraic logic. A uniting idea of the aforementioned concepts is a special view on the formal judgments of a formal language. It is this view we call the Lindenbaum method. Although Lindenbaum expressed merely a starting viewpoint in the tradition of Polish logic of the time, this viewpoint became a standard ever since and its development goes on until this day, continuing to shape the field of algebraic logic. Our main objective is to demonstrate how this view gave rise to formulating the aforementioned concepts and how it opens door to unexplored paths." @default.
- W2910590616 created "2019-01-25" @default.
- W2910590616 creator A5043883937 @default.
- W2910590616 creator A5071311515 @default.
- W2910590616 date "2019-01-16" @default.
- W2910590616 modified "2023-09-27" @default.
- W2910590616 title "Lindenbaum Method." @default.
- W2910590616 cites W1972649844 @default.
- W2910590616 cites W2048470700 @default.
- W2910590616 cites W2064445530 @default.
- W2910590616 cites W2331136157 @default.
- W2910590616 cites W2745756257 @default.
- W2910590616 cites W2799061192 @default.
- W2910590616 hasPublicationYear "2019" @default.
- W2910590616 type Work @default.
- W2910590616 sameAs 2910590616 @default.
- W2910590616 citedByCount "1" @default.
- W2910590616 countsByYear W29105906162020 @default.
- W2910590616 crossrefType "posted-content" @default.
- W2910590616 hasAuthorship W2910590616A5043883937 @default.
- W2910590616 hasAuthorship W2910590616A5071311515 @default.
- W2910590616 hasConcept C108710211 @default.
- W2910590616 hasConcept C11413529 @default.
- W2910590616 hasConcept C134306372 @default.
- W2910590616 hasConcept C18903297 @default.
- W2910590616 hasConcept C199360897 @default.
- W2910590616 hasConcept C2524010 @default.
- W2910590616 hasConcept C2777759810 @default.
- W2910590616 hasConcept C32241873 @default.
- W2910590616 hasConcept C33923547 @default.
- W2910590616 hasConcept C41008148 @default.
- W2910590616 hasConcept C46757340 @default.
- W2910590616 hasConcept C47884741 @default.
- W2910590616 hasConcept C86523455 @default.
- W2910590616 hasConcept C86803240 @default.
- W2910590616 hasConcept C9376300 @default.
- W2910590616 hasConceptScore W2910590616C108710211 @default.
- W2910590616 hasConceptScore W2910590616C11413529 @default.
- W2910590616 hasConceptScore W2910590616C134306372 @default.
- W2910590616 hasConceptScore W2910590616C18903297 @default.
- W2910590616 hasConceptScore W2910590616C199360897 @default.
- W2910590616 hasConceptScore W2910590616C2524010 @default.
- W2910590616 hasConceptScore W2910590616C2777759810 @default.
- W2910590616 hasConceptScore W2910590616C32241873 @default.
- W2910590616 hasConceptScore W2910590616C33923547 @default.
- W2910590616 hasConceptScore W2910590616C41008148 @default.
- W2910590616 hasConceptScore W2910590616C46757340 @default.
- W2910590616 hasConceptScore W2910590616C47884741 @default.
- W2910590616 hasConceptScore W2910590616C86523455 @default.
- W2910590616 hasConceptScore W2910590616C86803240 @default.
- W2910590616 hasConceptScore W2910590616C9376300 @default.
- W2910590616 hasLocation W29105906161 @default.
- W2910590616 hasOpenAccess W2910590616 @default.
- W2910590616 hasPrimaryLocation W29105906161 @default.
- W2910590616 hasRelatedWork W1443803910 @default.
- W2910590616 hasRelatedWork W1463989783 @default.
- W2910590616 hasRelatedWork W1496030239 @default.
- W2910590616 hasRelatedWork W1561752731 @default.
- W2910590616 hasRelatedWork W1600994103 @default.
- W2910590616 hasRelatedWork W180102650 @default.
- W2910590616 hasRelatedWork W1988230576 @default.
- W2910590616 hasRelatedWork W2022607815 @default.
- W2910590616 hasRelatedWork W2028386119 @default.
- W2910590616 hasRelatedWork W2094562124 @default.
- W2910590616 hasRelatedWork W2181859292 @default.
- W2910590616 hasRelatedWork W2215507710 @default.
- W2910590616 hasRelatedWork W2243886774 @default.
- W2910590616 hasRelatedWork W2308245951 @default.
- W2910590616 hasRelatedWork W2558884504 @default.
- W2910590616 hasRelatedWork W2946904783 @default.
- W2910590616 hasRelatedWork W2991080719 @default.
- W2910590616 hasRelatedWork W565951512 @default.
- W2910590616 hasRelatedWork W61116291 @default.
- W2910590616 hasRelatedWork W2188371619 @default.
- W2910590616 isParatext "false" @default.
- W2910590616 isRetracted "false" @default.
- W2910590616 magId "2910590616" @default.
- W2910590616 workType "article" @default.