02190nam0 22005173i 450 VAN027488720240524031428.31N978303085675520240415d2021 |0itac50 baengCH|||| |||||Logic and ImplicationAn Introduction to the General Algebraic Study of Non-classical LogicsPetr Cintula, Carles NogueraChamSpringer2021xxii, 465 p.ill.24 cm001VAN01031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer5703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03BxxGeneral logic [MSC 2020]VANC024425MFAbstract algebraic logicKW:KAlgebraic LogicKW:KAlgebraic SemanticsKW:KCompleteness theoremsKW:KFirst-Order Predicate LogicsKW:KGeneralized DisjunctionsKW:KImplication and disjunction in logicsKW:KLogical ConnectivesKW:KLogical MatricesKW:KLogics and their algebraic semanticsKW:KNon-classical logicsKW:KPredicate logicKW:KPropositional logicKW:KSemilinear LogicsKW:KSubstructural LogicsKW:KWeakly Implicative LogicsKW:KCHChamVANL001889CintulaPetrVANV2273391075331NogueraCarlesVANV2273401734778Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-030-85675-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0274887BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 8295 08eMF8295 20240430 Logic and Implication4153303UNICAMPANIA