04660nam 2201453z- 450 991055744980332120231214133158.0(CKB)5400000000043242(oapen)https://directory.doabooks.org/handle/20.500.12854/69296(EXLCZ)99540000000004324220202105d2020 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierDeductive Systems in Traditional and Modern LogicBasel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20201 electronic resource (298 p.)3-03943-358-X 3-03943-359-8 The 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.Research & information: generalbicsscMathematics & sciencebicsscquinelogicontologymultiple conclusion ruledisjunction propertymetadisjunctionaxiomatizations of arithmetic of natural and integers numberssecond-order theoriesPeano's axiomsWilkosz's axiomsaxioms of integer arithmetic modeled on Peano and Wilkosz axiomsequivalent axiomatizationsmetalogiccategoricityindependenceconsistencylogic of typical and atypical instances (LTA)logic of determination of objects (LDO)quasi topology structure (QTS)conceptobjecttypical objectatypical objectlatticefilteridealdiscussive logicsthe smallest discussive logicdiscussive operatorsserialityaccessibility relationKotas' methodmodal logicdeontic logicontology of situationssemantics of lawformal theory of lawWittgensteinWolniewicznon-Fregean logicidentity connectivesentential calculus with identitysituational semanticsdeduction(dual) tableauGentzen systemdeductive refutabilityrefutation systemshybrid deduction-refutation rulesderivative hybrid rulessoundnesscompletenessnatural deductionmeta-proof theorysynthetic tableauxprinciple of bivalencecutfirst-order theoryuniversal axiomPeano's axiomatics of natural numbersLeśniewski's elementary ontologyFrege's predication schemeFrege's Zahl-Anzahl distinctionterm logicFranz BrentanoLewis Carrolllogic treeslogic diagramsparaconsistent logicparaconsistencySette's calculusthe law of explosionthe principle of ex contradictione sequitur quodlibetsemantic treedistributionAristotle's logicsyllogisticJan Łukasiewiczaxiomatic systemaxiomatic refutationtemporal logicintuitionistic logicminimal systemknowledgesequent-type calculinonmonotonic logicsdefault logicrejection systemsKripke modelslogics of evidence and truthResearch & information: generalMathematics & scienceWybraniec-Skardowska Urszulaedt522567Citkin AlexedtWybraniec-Skardowska UrszulaothCitkin AlexothBOOK9910557449803321Deductive Systems in Traditional and Modern Logic3029806UNINA