LEADER 02633nam0 22005653i 450 001 VAN00278882 005 20240904110216.458 017 70$2N$a9783031443817 100 $a20240701d2023 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aMetainferential Logics$fFederico Pailos, Bruno Da Ré 210 $aCham$cSpringer$d2023 215 $ax, 134 p.$cill.$d24 cm 410 1$1001VAN00103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$d1997-$v61 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B47$xSubstructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020]$3VANC037932$2MF 610 $aAdvantages of local approach to metainferential validity$9KW:K 610 $aApplications of Metainferential Logics$9KW:K 610 $aDefinition of a Logic$9KW:K 610 $aGlobal$9KW:K 610 $aGlobal and Absolutely Global Metainferential Logics$9KW:K 610 $aHierarchies of Metainferential Logics$9KW:K 610 $aHigher-level validity paradox$9KW:K 610 $aLocal$9KW:K 610 $aMetainferences and Pluralism$9KW:K 610 $aMetainferences and Validity$9KW:K 610 $aMetainferential Sequent Calculi$9KW:K 610 $aMetainferential Theories of Truth$9KW:K 610 $aMetainferential logics infinitely-many-valued schemes$9KW:K 610 $aMixed Logics$9KW:K 610 $aNew Families of Metainferential Logics$9KW:K 610 $aPhilosophical discussions related with the metainferences$9KW:K 610 $aProof-theories for Metainferential Logics$9KW:K 610 $aProperties of Metainferential Logics$9KW:K 610 $aStrong and Weak Kleene Metainferential Logics$9KW:K 610 $aand Absolutely Global Validity$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aPailos$bFederico$3VANV231421$01448942 701 1$aDa Ré$bBruno$3VANV231422$01448943 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-031-44381-7$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00278882 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 9210 $e08eMF9210 20240702 996 $aMetainferential Logics$93644934 997 $aUNICAMPANIA