02633nam0 22005653i 450 VAN0027888220240904110216.458N978303144381720240701d2023 |0itac50 baengCH|||| |||||Metainferential LogicsFederico Pailos, Bruno Da RéChamSpringer2023x, 134 p.ill.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer1997-6103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B47Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020]VANC037932MFAdvantages of local approach to metainferential validityKW:KApplications of Metainferential LogicsKW:KDefinition of a LogicKW:KGlobalKW:KGlobal and Absolutely Global Metainferential LogicsKW:KHierarchies of Metainferential LogicsKW:KHigher-level validity paradoxKW:KLocalKW:KMetainferences and PluralismKW:KMetainferences and ValidityKW:KMetainferential Sequent CalculiKW:KMetainferential Theories of TruthKW:KMetainferential logics infinitely-many-valued schemesKW:KMixed LogicsKW:KNew Families of Metainferential LogicsKW:KPhilosophical discussions related with the metainferencesKW:KProof-theories for Metainferential LogicsKW:KProperties of Metainferential LogicsKW:KStrong and Weak Kleene Metainferential LogicsKW:Kand Absolutely Global ValidityKW:KCHChamVANL001889PailosFedericoVANV2314211448942Da RéBrunoVANV2314221448943Springer <editore>VANV108073650ITSOL20241115RICAhttps://doi.org/10.1007/978-3-031-44381-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00278882BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 9210 08eMF9210 20240702 Metainferential Logics3644934UNICAMPANIA