01009nam0 2200277 450 00000575620050406124209.088-14-10455-720050405d2003----km-y0itay50------baitaITContabilità e controllo dei costicasi e problemiUmberto Bocchino, Fabio Serini, Andrea TurollaMilanoGiuffrèc2003X, 380 p.24 cmPubblicazioni dell'Istituto di ragioneria ed economia aziendale Giovanni FerraroSerie manuali2001Pubblicazioni dell'Istituto di ragioneria ed economia aziendale Giovanni FerraroCosti produzioneContabilità658.1552Bocchino,Umberto111837Serini,Fabio425454Turolla,AndreaITUNIPARTHENOPE20050405RICAUNIMARC000005756NAVA1658-C/453757220050406Contabilità e controllo dei costi750294UNIPARTHENOPE03515nam 22006735 450 991074119840332120251113180618.03-031-04297-210.1007/978-3-031-04297-3(MiAaPQ)EBC7015854(Au-PeEL)EBL7015854(CKB)23736965200041EBL7015854(AU-PeEL)EBL7015854(PPN)269149902(OCoLC)1331149148(DE-He213)978-3-031-04297-3(EXLCZ)992373696520004120220609d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLogics of Variable Inclusion /by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (227 pages)Trends in Logic, Studia Logica Library,2212-7313 ;59Description based upon print version of record.Print version: Bonzio, Stefano Logics of Variable Inclusion Cham : Springer International Publishing AG,c2022 9783031042966 Includes bibliographical references.Chapter 1. Analyticity, Consequence, and Meaninglessness -- Chapter 2. Płonka Sums and Regular Varieties -- Chapter 3. Dualities for Regular Varieties -- Chapter 4. Logics of Left Variable Inclusion -- Chapter 5. Logics of Right Variable Inclusion -- Chapter 6. Paraconsistent Weak Kleene Logic.This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties. The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.Trends in Logic, Studia Logica Library,2212-7313 ;59LogicAlgebraic logicLogic, Symbolic and mathematicalLogicAlgebraic LogicMathematical Logic in PhilosophyLogic.Algebraic logic.Logic, Symbolic and mathematical.Logic.Algebraic Logic.Mathematical Logic in Philosophy.511.324511.3Bonzio Stefano1241228Paoli FrancescoBaldi Michele PraMiAaPQMiAaPQMiAaPQBOOK9910741198403321Logics of variable inclusion2997491UNINA