Lindenbaum–Tarski algebra

Not to be confused with Jónsson–Tarski algebra.

In mathematical logic, the Lindenbaum–Tarski algebra (or Lindenbaum algebra) of a logical theory T consists of the equivalence classes of sentences of the theory (i.e., the quotient, under the equivalence relation ~ defined such that p ~ q exactly when p and q are provably equivalent in T). That is, two sentences are equivalent if the theory T proves that each implies the other. The Lindenbaum–Tarski algebra is thus the quotient algebra obtained by factoring the algebra of formulas by this congruence relation.

The algebra is named for logicians Adolf Lindenbaum and Alfred Tarski. Starting in the academic year 1926-1927, Lindenbaum pioneered his method in Jan Łukasiewicz's mathematical logic seminar,[1][2] and the method was popularized and generalized in subsequent decades through work by Tarski.[3] The Lindenbaum–Tarski algebra is considered the origin of the modern algebraic logic.[4]

Operations

The operations in a Lindenbaum–Tarski algebra A are inherited from those in the underlying theory T. These typically include conjunction and disjunction, which are well-defined on the equivalence classes. When negation is also present in T, then A is a Boolean algebra, provided the logic is classical. If the theory T consists of the propositional tautologies, the Lindenbaum–Tarski algebra is the free Boolean algebra generated by the propositional variables.

Heyting algebras and interior algebras are the Lindenbaum–Tarski algebras for intuitionistic logic and the modal logic S4, respectively.

A logic for which Tarski's method is applicable, is called algebraizable. There are however a number of logics where this is not the case, for instance the modal logics S1, S2, or S3, which lack the rule of necessitation (⊢φ implying ⊢□φ), so ~ (defined above) is not a congruence (because ⊢φ→ψ does not imply ⊢□φ→□ψ). Another type of logic where Tarski's method is inapplicable is relevance logics, because given two theorems an implication from one to the other may not itself be a theorem in a relevance logic.[4] The study of the algebraization process (and notion) as topic of interest by itself, not necessarily by Tarski's method, has led to the development of abstract algebraic logic.

See also

References

  1. ^ S.J. Surma (1982). "On the Origin and Subsequent Applications of the Concept of the Lindenbaum Algebra". Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science. Studies in Logic and the Foundations of Mathematics. Vol. 104. pp. 719–734. doi:10.1016/S0049-237X(09)70230-7. ISBN 978-0-444-85423-0.
  2. ^ Jan Woleński. "Lindenbaum, Adolf". Internet Encyclopedia of Philosophy.
  3. ^ A. Tarski (1983). J. Corcoran (ed.). Logic, Semantics, and Metamathematics — Papers from 1923 to 1938 — Trans. J.H. Woodger (2nd ed.). Hackett Pub. Co.
  4. ^ a b W.J. Blok, Don Pigozzi (1989). "Algebraizable logics". Memoirs of the AMS. 77 (396).; here: pages 1-2
  • Hinman, P. (2005). Fundamentals of Mathematical Logic. A K Peters. ISBN 1-56881-262-0.

Read other articles:

Monster Stronsay

Sketsa monster Stronsay yang dibuat oleh Sir Alexander Gibson pada tahun 1808. Monster Stronsay adalah bangkai besar misterius atau globster[1] yang terdampar di pesisir pulau Stronsay (waktu itu dieja Stronsa), di Kepulauan Orkney, sehabis badai yang terjadi tanggal 25 September 1808. Bangkai tersebut memiliki panjang 55 kaki, namun karena bagian ekornya tampak hilang, sesungguhnya ukurannya lebih panjang daripada itu (Catatan Wernerian Society, 1808–1810, Perpustakaan, Royal Museu...

 

Keamanan Lapisan Transportasi

Keamanan Lapisan Transportasi Inggris: Transport Layer Securitycode: en is deprecated (TLS), dan pendahulunya yang sudah usang, Secure Sockets Layer (SSL),[1] adalah protokol kriptografi yang dirancang untuk memberikan keamanan komunikasi melalui jaringan komputer.[2] Beberapa versi protokol TLS dapat ditemukan penerapannya secara luas seperti di peramban web, surel, pesan instan, dan voice over IP (VoIP). Situs web dapat menggunakan TLS untuk mengamankan semua komunikasi anta...

 

Magdeburg

Magdeburg The town's symbol - Cathedral of Magdeburg Lambang kebesaranLetak Magdeburg NegaraJermanNegara bagianSachsen-AnhaltKreisDistrik perkotaanSubdivisions40 boroughPemerintahan • Lord MayorLutz Trümper (SPD)Luas • Total200,95 km2 (7,759 sq mi)Ketinggian43 m (141 ft)Populasi (2011-12-31)[1] • Total232.364 • Kepadatan12/km2 (30/sq mi)Zona waktuWET/WMPET (UTC+1/+2)Kode pos39104–39130Kode area telep...

Shane Ferguson

Northern Irish footballer (born 1991) Shane Ferguson With Birmingham City in 2013 pre-seasonPersonal informationFull name Shane Kevin Ferguson[1]Date of birth (1991-07-12) 12 July 1991 (age 32)[2]Place of birth Derry, Northern IrelandHeight 5 ft 10 in (1.78 m)[3]Position(s) Left back / left wingerTeam informationCurrent team Rotherham UnitedNumber 17Youth career2001–2007 Maiden City Academy2007–2009 Newcastle UnitedSenior career*Years Team Apps ...

 

Åkers styckebruk

Place in Södermanland, SwedenÅkers styckebrukÅkers styckebrukShow map of SödermanlandÅkers styckebrukShow map of SwedenCoordinates: 59°15′N 17°05′E / 59.250°N 17.083°E / 59.250; 17.083CountrySwedenProvinceSödermanlandCountySödermanland CountyMunicipalitySträngnäs MunicipalityArea[1] • Total3.03 km2 (1.17 sq mi)Population (31 December 2010)[1] • Total2,891 • Density955/km2 (2,470/sq...

 

Portuguese conquest of the Jaffna kingdom

Portuguese conquest of the Jaffna kingdom in Sri Lanka (1560-1621) Portuguese conquest of the Jaffna kingdomPart of Crisis of the Sixteenth CenturyColonial era Map of the Jaffna kingdom c. 1619Date1560 – 1621LocationNallur, JaffnaResult Portuguese victory Portuguese captured the Capital King Cankili II became POW, and then hanged Fall of Jaffna kingdom Repulsed Kandyan attacksBelligerents  Portugal Jaffna kingdom  KandyCommanders and leaders Phillippe de OliveiraConstantino de Sá...

Georges Bataille

«Non posso considerare libero un essere che dentro di sé non nutra il desiderio di sciogliere i legami del linguaggio.» (Georges Bataille[1]) Georges Bataille Georges Albert Maurice Victor Bataille[2] (Billom, 10 settembre 1897 – Parigi, 9 luglio 1962) è stato uno scrittore, antropologo e filosofo francese. Firma di Georges Bataille Bataille fu contraddistinto da un'interdisciplinarità originata da un interesse rivolto verso molti campi della conoscenza (la letteratura...

 

Racisme en France

Le racisme en France prend des formes différentes et peut être appréhendé à l'échelle individuelle ou systémique[réf. nécessaire]. Dans le passé, des périodes de racisme d'État ont existé, en particulier pendant la période coloniale. Au début du XXIe siècle, le droit ne crée plus de différence de droit si ce n'est sur la base de la nationalité. En particulier, en France, il n'existe pas de critère officiel de classification de la population en race. Toute...

 

乌克兰总理

 烏克蘭總理Прем'єр-міністр України烏克蘭國徽現任杰尼斯·什米加尔自2020年3月4日任命者烏克蘭總統任期總統任命首任維托爾德·福金设立1991年11月后继职位無网站www.kmu.gov.ua/control/en/（英文） 乌克兰 乌克兰政府与政治系列条目 宪法 政府 总统 弗拉基米尔·泽连斯基 總統辦公室 国家安全与国防事务委员会 总统代表（英语：Representatives of the President of Ukraine） 总...

Auditorium (Community of Christ)

39°05′23″N 94°25′42″W / 39.0898°N 94.4283°W / 39.0898; -94.4283 (Community of Christ Auditorium) Community of Christ AuditoriumThe AuditoriumFormer namesRLDS AuditoriumLocation1001 W. Walnut, Independence, MissouriOwnerCommunity of ChristCapacity6,000Field size214 feet (65 m)x 168 feet (51 m); 92 feet (28 m) floor to roof (conference center); 114 feet (35 m) to top of domeConstructionBroke ground1926Opened1958TenantsCommunity of ...

 

مدرسة السفارة الألمانية في طهران

مدرسة السفارة الألمانية في طهران معلومات التأسيس 1980 النوع مدرسة الموقع الجغرافي المدينة طهران البلد  إيران تعديل مصدري - تعديل   مدرسة السفارة الألمانية هي مدرسة دولية خاصة تقع في عاصمة إيران (طهران).[1][2] الروابط الخارجية ^ sekundarstufeII[وصلة مكسورة]. German Embassy Scho...

 

Rotation (mathematics)

Motion of a certain space that preserves at least one point For broader coverage of this topic, see Rotation. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Rotation mathematics – news · newspapers · books · scholar · JSTOR (February 2014) (Learn how and when to remove this message) Rotation of an obje...

Edward Brabant

British military commander in South Africa Edward BrabantPhotograph in The Navy and Army Illustrated (1901)Born(1839-05-31)31 May 1839Kinderton Lodge, Middlewich, EnglandDied13 December 1914(1914-12-13) (aged 75)AllegianceGreat BritainRankMajor-GeneralCommands heldColonial DivisionColonial Defence ForceCape Mounted Riflemen79th Battery, RFAKaffrarian RiflesQueenstown VolunteersBrabant's HorseBattles/wars9th Xhosa WarFirst Matabele WarSecond Boer War Major-General Sir Edward Yewd Brabant,...

 

Bonaire

Dutch Caribbean island This article is about the Caribbean island. For other uses, see Bonaire (disambiguation). Special municipality of the Netherlands in Caribbean NetherlandsBonaire Boneiru (Papiamentu) Special municipality of the Netherlands FlagCoat of armsAnthem: Tera di solo i suave bientuLocation of Bonaire (circled in red)in the CaribbeanCoordinates: 12°9′N 68°16′W / 12.150°N 68.267°W / 12.150; -68.267CountryNetherlandsOverseas regionCaribbea...

 

Farooqui dynasty

Ruling dynasty of the Khandesh sultanate Khandesh Sultanate1382–1601South Asia1400 CEDELHISULTANATE(TUGHLAQS)TIMURIDEMPIRESHAH MIRSULTANATEPHAGMODRUPASSAMMASMARYULGUGEKUMAONKANGRAKALMATGUJARATGOVERNORATEBAHMANISULTANATEKHANDESHSULTANATETOMARASTWIPRAEASTERNGANGASKAMATASSUGAUNASMALLANAGVANSISAHOMCHUTIABENGALSULTANATEVIJAYANAGARAEMPIREREDDIMALWASULTANATEJAISALMERMEWARMARWARKARAULIAMBERSIROHIAMARKOTVAGADMEWATJAUNPURSULTANATETribalstatesKhandesh Sultanate in the 1526, with neighbouring polities,...

ريما فقيه

ريما فقيه   معلومات شخصية الميلاد 22 سبتمبر 1985 (39 سنة)  صريفا  الإقامة ديربورن  الجنسية الولايات المتحدة  اللغات المحكية الإنجليزية  الطول 173 سنتيمتر  لون الشعر شعر أسود  لون العيون بني غامق  [لغات أخرى]‏  الديانة المسيحيةمسلمة شيعية سابقًا[1 ...

 

Jake Kasdan

American filmmaker Jake KasdanKasdan in 2012BornJacob Kasdan (1974-10-28) October 28, 1974 (age 49)Detroit, Michigan, U.S.Occupations Director producer screenwriter actor Years active1983–presentSpouseInara GeorgeChildren3FatherLawrence KasdanRelativesJonathan Kasdan (brother)Mark Kasdan (uncle) Jacob Kasdan (born October 28, 1974) is an American filmmaker and actor. He is best known for directing Walk Hard (2007), Bad Teacher (2011), Sex Tape (2014), Jumanji: Welcome to the Jungl...

 

Senhora de Oliveira

Questa voce sull'argomento centri abitati del Minas Gerais è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Senhora de Oliveiracomune LocalizzazioneStato Brasile Stato federato Minas Gerais MesoregioneZona da Mata MicroregioneViçosa AmministrazioneSindacoRicardo Silvino Rodrigues Milagres TerritorioCoordinate20°47′37″S 43°20′32″W20°47′37″S, 43°20′32″W (Senhora de Oliveir...

日本人のへそ

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: 日本人のへそ – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2022年3月) 日本人のへそ作者 井上ひさし国 日本言語 日�...

 

Robert Fortune

Questa voce sugli argomenti esploratori britannici e botanici britannici è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Robert Fortune Robert Fortune (Kelloe, 16 settembre 1812 – Londra, 13 aprile 1880) è stato un esploratore e botanico britannico. Biografia Fu mandato in Asia dalla Società Botanica di Edimburgo affinché studiasse le piante di quei luoghi. Dal 1843 al 1846 viaggiò per tutta la Cina, visitando anche Giava e Manila. Dopo un paio ...