资源描述：
《Completeness Theory for Propositional Logics》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、StudiesinUniversalLogicSeriesEditorJean-YvesBeziau(UniversitédeNeuchâtel,Switzerland)EditorialBoardMembersHajnalAndréka(HungarianAcademyofSciences,Hungary)MarkBurgin(UniversityofCaliforniaatLosAngeles,USA)RazvanDiaconescuº(RomanianAcademy,Romania)JosepMariaF
2、ont(UniversityofBarcelona,Spain)AndreasHerzig(CdmsqdN`shnm`kcdk`Rdbgdqbgdˇbhdmsh½ptd,Fq`mbd)ArnoldKoslow(CityUniversityofNewYork,USA)Jui-LinLee(NationalChung-ChengUniversity,Taiwan)LarissaMaksimova(RussianAcademyofSciences,Russia)GrzegorzMalinowski(Universit
3、yofLodz,Poland)DarkoSarenac(StanfordUniversity,USA)PeterSchröder-Heister(UniversityTübingen,Germany)VladimirVasyukov(AcademyofSciences,Russia)Thisseriesisdevotedtotheuniversalapproachtologicandthedevelopmentofageneraltheoryoflogics.Itcoverstopicssuchasglobal
4、set-upsforfunda-mentaltheoremsoflogicandframeworksforthestudyoflogics,inparticularlogicalmatrices,Kripkestructures,combinationoflogics,categoricallogic,abstractprooftheory,consequenceoperators,andalgebraiclogic.Itincludesalsobookswithhistoricalandphilosophic
5、aldiscussionsaboutthenatureandscopeoflogic.Threetypesofbookswillappearintheseries:graduatetext-books,researchmonographs,andvolumeswithcontributedpapers.WitoldA.PogorzelskiPiotrWojtylakCompletenessTheoryforPropositionalLogicsBirkhäuserBasel·Boston·BerlinAutho
6、rs:WitoldA.PogorzelskiPiotrWojtylakInstituteofMathematicsInstituteofMathematicsUniversityofBialystokSilesianUniversityAkademicka2Bankowa1415-275Bialystok40-007KatowicePolandPolande-mail:wojtylak@us.edu.pl2000MathematicalSubjectClassi½cation:03-01,03B05,03G10
7、LibraryofCongressControlNumber:2008923069BibliographicinformationpublishedbyDieDeutscheBibliothekDieDeutscheBibliothekliststhispublicationintheDeutscheNationalbibliogra½e;detailedbibliographicdataisavailableintheInternetat.ISBN978-3-7643-8
8、517-0BirkhäuserVerlagAG,BaselÀBostonÀBerlinThisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialisconcerned,speci½callytherightsoftranslation,reprinting,re-useofil
