04705nam 2201477z- 450 991055744980332120210501(CKB)5400000000043242(oapen)https://directory.doabooks.org/handle/20.500.12854/69296(oapen)doab69296(EXLCZ)99540000000004324220202105d2020 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierDeductive Systems in Traditional and Modern LogicBasel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20201 online 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.Mathematics and SciencebicsscResearch and information: generalbicssc(dual) tableauaccessibility relationAristotle's logicatypical objectaxiomatic refutationaxiomatic systemaxiomatizations of arithmetic of natural and integers numbersaxioms of integer arithmetic modeled on Peano and Wilkosz axiomscategoricitycompletenessconceptconsistencycutdeductiondeductive refutabilitydefault logicdeontic logicderivative hybrid rulesdiscussive logicsdiscussive operatorsdisjunction propertydistributionequivalent axiomatizationsfilterfirst-order theoryformal theory of lawFranz BrentanoFrege's predication schemeFrege's Zahl-Anzahl distinctionGentzen systemhybrid deduction-refutation rulesidealidentity connectiveindependenceintuitionistic logicJan ŁukasiewiczknowledgeKotas' methodKripke modelslatticeLeśniewski's elementary ontologyLewis Carrolllogiclogic diagramslogic of determination of objects (LDO)logic of typical and atypical instances (LTA)logic treeslogics of evidence and truthmeta-proof theorymetadisjunctionmetalogicminimal systemmodal logicmultiple conclusion rulen/anatural deductionnon-Fregean logicnonmonotonic logicsobjectontologyontology of situationsparaconsistencyparaconsistent logicPeano's axiomatics of natural numbersPeano's axiomsprinciple of bivalencequasi topology structure (QTS)quinerefutation systemsrejection systemssecond-order theoriessemantic treesemantics of lawsentential calculus with identitysequent-type calculiserialitySette's calculussituational semanticssoundnesssyllogisticsynthetic tableauxtemporal logicterm logicthe law of explosionthe principle of ex contradictione sequitur quodlibetthe smallest discussive logictypical objectuniversal axiomWilkosz's axiomsWittgensteinWolniewiczMathematics and ScienceResearch and information: generalWybraniec-Skardowska Urszulaedt522567Citkin AlexedtWybraniec-Skardowska UrszulaothCitkin AlexothBOOK9910557449803321Deductive Systems in Traditional and Modern Logic3029806UNINA