01894oam 2200529Ia 450 991070186330332120120601130423.0(CKB)5470000002421474(OCoLC)794595475(EXLCZ)99547000000242147420120601d1993 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierDirect measurements of tropospheric ozone from Toms data[electronic resource] progress report /principle Investigator, Robert D. HudsonCollege Park, Md. :University of Maryland;[Washington, DC]:[National Aeronautics and Space Administration],[1993]1 online resource (12 unnumbered pages) color illustrations[NASA contractor report] ;NASA CR-191884Title from title screen (viewed on June 1, 2012)."January 1, 1993."Direct measurements of tropospheric ozone from Toms data BiomassnasatCombustion productsnasatMeteorological parametersnasatOzonenasatOzonometrynasatTotal Ozone Mapping SpectrometernasatTroposnasatBiomass.Combustion products.Meteorological parameters.Ozone.Ozonometry.Total Ozone Mapping Spectrometer.Tropos.Hudson Robert D17442University of Maryland at College Park.United States.National Aeronautics and Space Administration.GPOGPOGPOBOOK9910701863303321Direct measurements of tropospheric ozone from Toms data3549671UNINA02843nam 2200553 450 991082779780332120170918221444.01-4704-0816-3(CKB)3360000000464580(EBL)3113851(SSID)ssj0000888765(PQKBManifestationID)11453140(PQKBTitleCode)TC0000888765(PQKBWorkID)10864701(PQKB)10692742(MiAaPQ)EBC3113851(RPAM)3854927(PPN)195412796(EXLCZ)99336000000046458020140904h19891989 uy 0engur|n|---|||||txtccrAlgebraizable logics /W.J. Blok and Don PigozziProvidence, Rhode Island :American Mathematical Society,1989.©19891 online resource (89 p.)Memoirs of the American Mathematical Society,0065-9266 ;Volume 77, Number 396"Volume 77, number 396 (third of 4 numbers)."0-8218-2459-7 Includes bibliographical references and index.""Contents""; ""Introduction""; ""1 Deductive Systems and Matrix Semantics""; ""1.1 The Lattice of Theories""; ""1.2 Matrix Semantics""; ""1.3 Deductive Systems as Elementary Theories""; ""1.4 The Elementary Leibniz Equivalence Relation""; ""1.4.1 Protoalgebraic Logics""; ""2 Equational Consequence and Algebraic Semantics""; ""2.1 Algebraic Semantics""; ""2.2 Equivalent Algebraic Semantics""; ""2.2.1 Uniqueness""; ""2.2.2 Axiomatization""; ""3 The Lattice of Theories""; ""4 Two Intrinsic Characterizations""; ""4.1 The Leibniz Operator""; ""4.2 A Second Intrinsic Characterization""""5 Matrix Semantics and Algebraizability""""5.1 Matrix Semantics and Algebraic Semantics""; ""5.2 Applications and Examples""; ""5.2.1 Modal Logics""; ""5.2.2 Entailment and Relevance Logics""; ""5.2.3 Pure Implicational Logics""; ""5.2.4 Two Logics with the Same Algebraization""; ""5.2.5 Intuitionistic Propositional Logic without Implication""; ""5.2.6 Equivalential Logic""; ""A: Elementary Definitional Equivalence""; ""B: An Example""; ""C: Predicate Logic""; ""Bibliography""; ""Index""; ""A""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""P""; ""Q""; ""R""""S""""T""; ""U""Memoirs of the American Mathematical Society ;Volume 77, Number 396.Algebraic logicAlgebraic logic.511.3/24Blok W. J.1947-1686001Pigozzi Don1935-MiAaPQMiAaPQMiAaPQBOOK9910827797803321Algebraizable logics4058594UNINA