LEADER 04660nam 2201453z- 450 001 9910557449803321 005 20231214133158.0 035 $a(CKB)5400000000043242 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/69296 035 $a(EXLCZ)995400000000043242 100 $a20202105d2020 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDeductive Systems in Traditional and Modern Logic 210 $aBasel, Switzerland$cMDPI - Multidisciplinary Digital Publishing Institute$d2020 215 $a1 electronic resource (298 p.) 311 $a3-03943-358-X 311 $a3-03943-359-8 330 $aThe book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and arithmetic. 606 $aResearch & information: general$2bicssc 606 $aMathematics & science$2bicssc 610 $aquine 610 $alogic 610 $aontology 610 $amultiple conclusion rule 610 $adisjunction property 610 $ametadisjunction 610 $aaxiomatizations of arithmetic of natural and integers numbers 610 $asecond-order theories 610 $aPeano's axioms 610 $aWilkosz's axioms 610 $aaxioms of integer arithmetic modeled on Peano and Wilkosz axioms 610 $aequivalent axiomatizations 610 $ametalogic 610 $acategoricity 610 $aindependence 610 $aconsistency 610 $alogic of typical and atypical instances (LTA) 610 $alogic of determination of objects (LDO) 610 $aquasi topology structure (QTS) 610 $aconcept 610 $aobject 610 $atypical object 610 $aatypical object 610 $alattice 610 $afilter 610 $aideal 610 $adiscussive logics 610 $athe smallest discussive logic 610 $adiscussive operators 610 $aseriality 610 $aaccessibility relation 610 $aKotas' method 610 $amodal logic 610 $adeontic logic 610 $aontology of situations 610 $asemantics of law 610 $aformal theory of law 610 $aWittgenstein 610 $aWolniewicz 610 $anon-Fregean logic 610 $aidentity connective 610 $asentential calculus with identity 610 $asituational semantics 610 $adeduction 610 $a(dual) tableau 610 $aGentzen system 610 $adeductive refutability 610 $arefutation systems 610 $ahybrid deduction-refutation rules 610 $aderivative hybrid rules 610 $asoundness 610 $acompleteness 610 $anatural deduction 610 $ameta-proof theory 610 $asynthetic tableaux 610 $aprinciple of bivalence 610 $acut 610 $afirst-order theory 610 $auniversal axiom 610 $aPeano's axiomatics of natural numbers 610 $aLes?niewski's elementary ontology 610 $aFrege's predication scheme 610 $aFrege's Zahl-Anzahl distinction 610 $aterm logic 610 $aFranz Brentano 610 $aLewis Carroll 610 $alogic trees 610 $alogic diagrams 610 $aparaconsistent logic 610 $aparaconsistency 610 $aSette's calculus 610 $athe law of explosion 610 $athe principle of ex contradictione sequitur quodlibet 610 $asemantic tree 610 $adistribution 610 $aAristotle's logic 610 $asyllogistic 610 $aJan ?ukasiewicz 610 $aaxiomatic system 610 $aaxiomatic refutation 610 $atemporal logic 610 $aintuitionistic logic 610 $aminimal system 610 $aknowledge 610 $asequent-type calculi 610 $anonmonotonic logics 610 $adefault logic 610 $arejection systems 610 $aKripke models 610 $alogics of evidence and truth 615 7$aResearch & information: general 615 7$aMathematics & science 700 $aWybraniec-Skardowska$b Urszula$4edt$0522567 702 $aCitkin$b Alex$4edt 702 $aWybraniec-Skardowska$b Urszula$4oth 702 $aCitkin$b Alex$4oth 906 $aBOOK 912 $a9910557449803321 996 $aDeductive Systems in Traditional and Modern Logic$93029806 997 $aUNINA