LEADER 01283nam 2200337Ia 450 001 996395658403316 005 20221108101711.0 035 $a(CKB)4330000000325146 035 $a(EEBO)2240897783 035 $a(OCoLC)31354778 035 $a(EXLCZ)994330000000325146 100 $a19941025d1655 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aA brief survey of the Lord of Derry his Treatise of schism$b[electronic resource] $ewherein he intends to cleare the Protestant Church from schism, and to lay the fault upon the Roman Church /$fby R.C. .. 210 $aParis $c[s.n.]$dPrinted in the Year M.DC.LV. [1655] 215 $a[26], 144 [i.e. 170], [1] p 300 $aNumerous errors in paging; 24 unnumbered pages between p. 114 and p. 115; p. 91-92 repeated in number only. 300 $aErrata: p. [1] at end. 300 $aContains marginal notes. 300 $aReproduction of original in the Bodleian Library. 320 $aIncludes bibliographical references. 330 $aeebo-0014 700 $aSmith$b Richard, 1566-1655$028496 801 0$bEAH 801 1$bEAH 801 2$bWaOLN 906 $aBOOK 912 $a996395658403316 996 $aA brief survey of the Lord of Derry his Treatise of schism$92347966 997 $aUNISA LEADER 06220nam 2200529 450 001 9910508455003321 005 20230213163857.0 010 $a981-16-2944-7 035 $a(CKB)5600000000080730 035 $a(MiAaPQ)EBC6797274 035 $a(Au-PeEL)EBL6797274 035 $a(PPN)258843357 035 $a(EXLCZ)995600000000080730 100 $a20220726d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aR-CALCULUS $ea logic of belief revision /$fWei Li, Yuefei Sui 210 1$aSingapore :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (210 pages) 225 1 $aPerspectives in Formal Induction, Revision and Evolution 311 $a981-16-2943-9 327 $aIntro -- Preface to the Series -- Preface -- Contents -- 1 Introduction -- 1.1 Belief Revision -- 1.2 R-Calculus -- 1.3 Extending R-Calculus -- 1.4 Approximate R-Calculus -- 1.5 Applications of R-Calculus -- References -- 2 Preliminaries -- 2.1 Propositional Logic -- 2.1.1 Syntax and Semantics -- 2.1.2 Gentzen Deduction System -- 2.1.3 Soundness and Completeness Theorem -- 2.2 First-Order Logic -- 2.2.1 Syntax and Semantics -- 2.2.2 Gentzen Deduction System -- 2.2.3 Soundness and Completeness Theorem -- 2.3 Description Logic -- 2.3.1 Syntax and Semantics -- 2.3.2 Gentzen Deduction System -- 2.3.3 Completeness Theorem -- References -- 3 R-Calculi for Propositional Logic -- 3.1 Minimal Changes -- 3.1.1 Subset-Minimal Change -- 3.1.2 Pseudo-Subformulas-Minimal Change -- 3.1.3 Deduction-Based Minimal Change -- 3.2 R-Calculus for subseteq-Minimal Change -- 3.2.1 R-Calculus S for a Formula -- 3.2.2 R-Calculus S for a Theory -- 3.2.3 AGM Postulates Asubseteq for subseteq-Minimal Change -- 3.3 R-Calculus for preceq-Minimal Change -- 3.3.1 R-Calculus T for a Formula -- 3.3.2 R-Calculus T for a Theory -- 3.3.3 AGM Postulates Apreceq for preceq-Minimal Change -- 3.4 R-Calculus for vdashpreceq-Minimal Change -- 3.4.1 R-Calculus U for a Formula -- 3.4.2 R-Calculus U for a Theory -- References -- 4 R-Calculi for Description Logics -- 4.1 R-Calculus for subseteq-Minimal Change -- 4.1.1 R-Calculus SDL for a Statement -- 4.1.2 R-Calculus SDL for a Set of Statements -- 4.2 R-Calculus for preceq-Minimal Change -- 4.2.1 Pseudo-Subconcept-Minimal Change -- 4.2.2 R-Calculus TDL for a Statement -- 4.2.3 R-Calculus TDL for a Set of Statements -- 4.3 Discussion on R-Calculus for vdashpreceq-Minimal Change -- References -- 5 R-Calculi for Modal Logic -- 5.1 Propositional Modal Logic -- 5.2 R-Calculus SM for subseteq-Minimal Change. 327 $a5.3 R-Calculus TM for preceq-Minimal Change -- 5.4 R-Modal Logic -- 5.4.1 A Logical Language of R-Modal Logic -- 5.4.2 R-Modal Logic -- References -- 6 R-Calculi for Logic Programming -- 6.1 Logic Programming -- 6.1.1 Gentzen Deduction Systems -- 6.1.2 Dual Gentzen Deduction System -- 6.1.3 Minimal Change -- 6.2 R-Calculus SLP for subset-Minimal Change -- 6.3 R-Calculus TLP for preceq-Minimal Change -- References -- 7 R-Calculi for First-Order Logic -- 7.1 R-Calculus for subseteq-Minimal Change -- 7.1.1 R-Calculus SFOL for a Formula -- 7.1.2 R-Calculus SFOL for a Theory -- 7.2 R-Calculus for preceq-Minimal Change -- 7.2.1 R-Calculus TFOL for a Formula -- 7.2.2 R-Calculus TFOL for a Theory -- References -- 8 Nonmonotonicity of R-Calculus -- 8.1 Nonmonotonic Propositional Logic -- 8.1.1 Monotonic Gentzen Deduction System G'1 -- 8.1.2 Nonmonotonic Gentzen Deduction System Logic G2 -- 8.1.3 Nonmonotonicity of G2 -- 8.2 Involvement of ?A in a Nonmonotonic Logic -- 8.2.1 Default Logic -- 8.2.2 Circumscription -- 8.2.3 Autoepistemic Logic -- 8.2.4 Logic Programming with Negation as Failure -- 8.3 Correspondence Between R-Calculus and Default Logic -- 8.3.1 Transformation from R-Calculus to Default Logic -- 8.3.2 Transformation from Default Logic to R-Calculus -- References -- 9 Approximate R-Calculus -- 9.1 Finite Injury Priority Method -- 9.1.1 Post's Problem -- 9.1.2 Construction with Oracle -- 9.1.3 Finite Injury Priority Method -- 9.2 Approximate Deduction -- 9.2.1 Approximate Deduction System for First-Order Logic -- 9.3 R-Calculus Fapp and Finite Injury Priority Method -- 9.3.1 Construction with Oracle -- 9.3.2 Approximate Deduction System Fapp -- 9.3.3 Recursive Construction -- 9.3.4 Approximate R-Calculus Frec -- 9.4 Default Logic and Priority Method -- 9.4.1 Construction of an Extension Without Injury. 327 $a9.4.2 Construction of a Strong Extension with Finite Injury Priority Method -- References -- 10 An Application to Default Logic -- 10.1 Default Logic and Subset-Minimal Change -- 10.1.1 Deduction System SD for a Default -- 10.1.2 Deduction System SD for a Set of Defaults -- 10.2 Default Logic and Pseudo-subformula-minimal Change -- 10.2.1 Deduction System TD for a Default -- 10.2.2 Deduction System TD for a Set of Defaults -- 10.3 Default Logic and Deduction-Based Minimal Change -- 10.3.1 Deduction System UD for a Default -- 10.3.2 Deduction System UD for a Set of Defaults -- References -- 11 An Application to Semantic Networks -- 11.1 Semantic Networks -- 11.1.1 Basic Definitions -- 11.1.2 Deduction System G4 for Semantic Networks -- 11.1.3 Soundness and Completeness Theorem -- 11.2 R-Calculus for subseteq-Minimal Change -- 11.2.1 R-Calculus SSN for a Statement -- 11.2.2 Soundness and Completeness Theorem -- 11.2.3 Examples -- 11.3 R-Calculus for preceq-Minimal Change -- 11.3.1 R-Calculus TSN for a Statement -- 11.3.2 Soundness and Completeness Theorem of TSN -- References -- Index. 410 0$aPerspectives in formal induction, revision and evolution. 606 $aCalculus 606 $aSoftware 606 $aMathematical Concepts 606 $aR (Computer program language) 615 0$aCalculus. 615 2$aSoftware. 615 2$aMathematical Concepts. 615 0$aR (Computer program language). 676 $a515 700 $aLi$b Wei$0721674 702 $aSui$b Yuefei 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910508455003321 996 $aR-CALCULUS$92903309 997 $aUNINA LEADER 01087nam a2200289 i 4500 001 991002567279707536 005 20020503170752.0 008 941024s1991 uk ||| | eng 020 $a1852784660 035 $ab10383141-39ule_inst 035 $aEXGIL106053$9ExL 040 $aBiblioteca Interfacoltà$bita 100 1 $aBlaug, Mark$0107072 245 14$aThe early mercantilists :$bThomas Mun (1571-1641), Edward Misselden (1608-1634), Gerard de Malynes (1586-1623) /$cedited by Mark Blaug 260 $aHants :$bElgar publishing,$cc1991 300 $aXI, 294 p. ;$c25 cm. 490 0 $aPioneers in economics ;$v4 650 4$aMalynes, Gerard : de$xOpere 650 4$aMercantilismo$xStoria 650 4$aMisselden, Edward$xOpere 650 4$aMun, Thomas$xOpere 907 $a.b10383141$b21-02-17$c27-06-02 912 $a991002567279707536 945 $aLE002 Dir. VII M 6$g1$i2002000484093$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10447982$z27-06-02 996 $aEarly mercantilists$9202163 997 $aUNISALENTO 998 $ale002$b01-01-94$cm$da $e-$feng$guk $h4$i1 LEADER 03555 am 2200553 n 450 001 9910341148303321 005 20190419 010 $a2-7574-2129-8 024 7 $a10.4000/books.septentrion.40047 035 $a(CKB)4100000009365930 035 $a(FrMaCLE)OB-septentrion-40047 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/44925 035 $a(PPN)238688151 035 $a(EXLCZ)994100000009365930 100 $a20190919j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDeux cents ans de progrès éducatifs dans la France septentrionale (1808-2008) $ebicentenaire de l?académie de Douai-Lille /$fJean-François Condette 210 $aVilleneuve d'Ascq $cPresses universitaires du Septentrion$d2019 215 $a1 online resource (222 p.) 330 $aIllustré de nombreux documents, accompagné d?une utile bibliographie, cet ouvrage, fruit du séminaire du 4 juin 2008 organisé à l?Université de Lille 3, à l?occasion du bicentenaire du décret du 17 mars 1808 qui organise l?Université impériale, permet de percevoir les grandes évolutions des structures éducatives de la France septentrionale aux xixe-xxe siècles. Il présente de vastes synthèses sur l?histoire des enseignements primaire (Marc Loison), secondaire (Philippe Marchand) et supérieur (Jean-François Condette) de l?académie de Douai-Lille. L?académie de Douai apparaît en effet en 1809, en application du décret du 17 mars 1808, et regroupe alors les départements du Nord et du Pas-de-Calais. Plusieurs fois modifiée dans sa composition départementale (elle regroupe ainsi l?Aisne, les Ardennes, le Nord, le Pas-de- Calais et la Somme entre 1854 et 1962), voyant son siège transféré à Lille en 1888, l?académie retrouve en 1964 sa configuration initiale. Les trois premières contributions permettent de mesurer les continuités et les principales ruptures de l?histoire éducative septentrionale et de mieux saisir l?importance des décisions d?État mais aussi des initiatives locales, souvent relayées par les recteurs. La quatrième contribution (Claude Durand- Prinborgne) mais aussi l?ouverture et la conclusion du séminaire (Bernard Dubreuil) permettent de percevoir les grandes mutations de la fonction rectorale depuis 1945 et de comprendre les défis auxquels est confrontée l?académie de Lille aujourd?hui. 517 $aDeux cents ans de progrès éducatifs dans la France septentrionale 517 $aDeux cents ans de progrès éducatifs dans la France septentrionale 606 $aEducation$zFrance, Northern$xHistory$vCongresses 610 $aenseignement supérieur 610 $aévolution 610 $astructure éducative 610 $afonction rectorale 610 $aéducation 610 $aacadémie 610 $aprogrès 610 $aécole 610 $aenseignement primaire 615 0$aEducation$xHistory 676 $a370.944/2 700 $aCondette$b Jean-François$01238387 701 $aDubreuil$b Bernard$01288526 701 $aDurand-Prinborgne$b Claude$01288527 701 $aLoison$b Marc$01288528 701 $aMarchand$b Philippe$01231722 701 $aCondette$b Jean-François$01238387 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910341148303321 996 $aDeux cents ans de progrès éducatifs dans la France septentrionale (1808-2008)$93020891 997 $aUNINA