Mathematical Sciences: Connections Between Logic, Universal Algebra, and the Algebraic Theory of Data Types
{'Code': '03040200', 'Directorate': {'Abbreviation': 'MPS', 'LongName': 'Direct For Mathematical & Physical Scien'}, 'Division': {'Abbreviation': 'DMS', 'LongName': 'Division Of Mathematical Sciences'}}
{'SignBlockName': 'Ralph M. Krause', 'PO_EMAI': None, 'PO_PHON': None}
8805870                                                                         Pigozzi                                                                         The systematic investigation of the connection between quasi-                   equational and propositional logic has recently begun.  The                     investigator will continue his work in this area.  In                           particular he intends to extend the theory of commutators in                    universal algebra to relatively congruence-modular                              quasivarieties and filter-modular deductive systems.  He also                   proposes to investigate possible applications to the algebraic                  theory of data types and to the connection between equational                   and Horn logic programming.
{'FirstName': 'Don', 'LastName': 'Pigozzi', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Don Pigozzi', 'EmailAddress': 'dpigozzi@iastate.edu', 'NSF_ID': '000461989', 'StartDate': '03/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Iowa State University', 'CityName': 'AMES', 'ZipCode': '500112103', 'PhoneNumber': '5152945225', 'StreetAddress': '1350 BEARDSHEAR HALL', 'StreetAddress2': '515 MORRILL ROAD', 'CountryName': 'United States', 'StateName': 'Iowa', 'StateCode': 'IA', 'CONGRESSDISTRICT': '04', 'CONGRESS_DISTRICT_ORG': 'IA04', 'ORG_UEI_NUM': 'DQDBM7FGJPC5', 'ORG_LGL_BUS_NAME': 'IOWA STATE UNIVERSITY OF SCIENCE AND TECHNOLOGY', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '1267', 'Text': 'TOPOLOGY'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8805870.xml'}