Zoekresultaten

Zoekopdracht: auteur: "benthem,j.f.a.k.van"

Auteur J.F.A.K. van Benthem Titel CRS and Guarded Logics, a fruitful contact Faculteit Faculteit der Natuurwetenschappen, Wiskunde en Informatica Instituut/afd. FNWI/FGw: Institute for Logic, Language and Computation (ILLC) Trefwoorden relativization, CRS, guarded fragment, general assignment models,; fixed-point logics, algebraic logic Serie ILLC Prepublications / ILLC ; PP-2009-08 Samenvatting We show how relativization techniques from algebra have led to new guarded fragments in logic that bound quantification. We also show how guarded fragments may be see equivalently as forms of generalized semantics that lower complexity. Finally, we turn things around and discuss how this logic connection raises new questions for algebra. Opmerkingen A chapter for a forthcoming volume on algebraic logic, a follow-up to the classic Henkin-Monk-Tarski, edited by H. Andreka, I. Nemeti and co-editors in Budapest. Soort document Preprint Download bestand document/125382 Document finder Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/294753 Vraag/opmerking over dit recordMail aan een collega Toevoegen aan bewaarset

• Disclaimer/Klachtenregeling
  Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de Universiteitsbibliotheek het materiaal ontoegankelijk maken en/of van de website verwijderen, dan wel samen met u bekijken hoe op een andere manier aan uw klacht tegemoet kan worden gekomen.
  Stuurt u hiervoor een e-mail naar: dare@uva.nl, of een brief naar: Bibliotheek van de Universiteit van Amsterdam, afdeling Elektronische Diensten, UvA-DARE, Singel 425, 1012 WP Amsterdam. Er zal dan zo spoedig mogelijk contact met u worden opgenomen.

• UvA-DARE is een dienst van de Bibliotheek van de Universiteit van Amsterdam.