LEADER 00977nam--2200361---450- 001 990003538510203316 005 20110609125042.0 035 $a000353851 035 $aUSA01000353851 035 $a(ALEPH)000353851USA01 035 $a000353851 100 $a20110609d1959----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> danzatrici di Ercolano$fLidia Forti 210 $aNapoli$c<> Arte tipografica$d1959 215 $a69 p.$cill.$d24 cm 225 2 $aMonumenti d'arte antica 410 0$12001$aMonumenti d'arte antica 454 1$12001 461 1$1001-------$12001 606 0 $aScultura romana$2BNCF 676 $a733.5 700 1$aFORTI,$bLidia$0158501 801 0$aIT$bsalbc$gISBD 912 $a990003538510203316 951 $aAA 14,38$b1923 DSA/ISAA 959 $aBK 969 $aDSA 979 $aDSA$b90$c20110609$lUSA01$h1250 996 $aDanzatrici di Ercolano$9594750 997 $aUNISA 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