Deductive Systems in Traditional and Modern Logic
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.
Saved in:
| HerausgeberIn: | |
|---|---|
| Sonstige: | |
| Year of Publication: | 2020 |
| Language: | English |
| Physical Description: | 1 electronic resource (298 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 04483nam-a2201405z--4500 | ||
|---|---|---|---|
| 001 | 993545597904498 | ||
| 005 | 20231214133158.0 | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 202105s2020 xx |||||o ||| 0|eng d | ||
| 035 | |a (CKB)5400000000043242 | ||
| 035 | |a (oapen)https://directory.doabooks.org/handle/20.500.12854/69296 | ||
| 035 | |a (EXLCZ)995400000000043242 | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Wybraniec-Skardowska, Urszula |4 edt | |
| 245 | 1 | 0 | |a Deductive Systems in Traditional and Modern Logic |
| 260 | |a Basel, Switzerland |b MDPI - Multidisciplinary Digital Publishing Institute |c 2020 | ||
| 300 | |a 1 electronic resource (298 p.) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a 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. | ||
| 546 | |a English | ||
| 650 | 7 | |a Research & information: general |2 bicssc | |
| 650 | 7 | |a Mathematics & science |2 bicssc | |
| 653 | |a quine | ||
| 653 | |a logic | ||
| 653 | |a ontology | ||
| 653 | |a multiple conclusion rule | ||
| 653 | |a disjunction property | ||
| 653 | |a metadisjunction | ||
| 653 | |a axiomatizations of arithmetic of natural and integers numbers | ||
| 653 | |a second-order theories | ||
| 653 | |a Peano's axioms | ||
| 653 | |a Wilkosz's axioms | ||
| 653 | |a axioms of integer arithmetic modeled on Peano and Wilkosz axioms | ||
| 653 | |a equivalent axiomatizations | ||
| 653 | |a metalogic | ||
| 653 | |a categoricity | ||
| 653 | |a independence | ||
| 653 | |a consistency | ||
| 653 | |a logic of typical and atypical instances (LTA) | ||
| 653 | |a logic of determination of objects (LDO) | ||
| 653 | |a quasi topology structure (QTS) | ||
| 653 | |a concept | ||
| 653 | |a object | ||
| 653 | |a typical object | ||
| 653 | |a atypical object | ||
| 653 | |a lattice | ||
| 653 | |a filter | ||
| 653 | |a ideal | ||
| 653 | |a discussive logics | ||
| 653 | |a the smallest discussive logic | ||
| 653 | |a discussive operators | ||
| 653 | |a seriality | ||
| 653 | |a accessibility relation | ||
| 653 | |a Kotas' method | ||
| 653 | |a modal logic | ||
| 653 | |a deontic logic | ||
| 653 | |a ontology of situations | ||
| 653 | |a semantics of law | ||
| 653 | |a formal theory of law | ||
| 653 | |a Wittgenstein | ||
| 653 | |a Wolniewicz | ||
| 653 | |a non-Fregean logic | ||
| 653 | |a identity connective | ||
| 653 | |a sentential calculus with identity | ||
| 653 | |a situational semantics | ||
| 653 | |a deduction | ||
| 653 | |a (dual) tableau | ||
| 653 | |a Gentzen system | ||
| 653 | |a deductive refutability | ||
| 653 | |a refutation systems | ||
| 653 | |a hybrid deduction-refutation rules | ||
| 653 | |a derivative hybrid rules | ||
| 653 | |a soundness | ||
| 653 | |a completeness | ||
| 653 | |a natural deduction | ||
| 653 | |a meta-proof theory | ||
| 653 | |a synthetic tableaux | ||
| 653 | |a principle of bivalence | ||
| 653 | |a cut | ||
| 653 | |a first-order theory | ||
| 653 | |a universal axiom | ||
| 653 | |a Peano's axiomatics of natural numbers | ||
| 653 | |a Leśniewski's elementary ontology | ||
| 653 | |a Frege's predication scheme | ||
| 653 | |a Frege's Zahl-Anzahl distinction | ||
| 653 | |a term logic | ||
| 653 | |a Franz Brentano | ||
| 653 | |a Lewis Carroll | ||
| 653 | |a logic trees | ||
| 653 | |a logic diagrams | ||
| 653 | |a paraconsistent logic | ||
| 653 | |a paraconsistency | ||
| 653 | |a Sette's calculus | ||
| 653 | |a the law of explosion | ||
| 653 | |a the principle of ex contradictione sequitur quodlibet | ||
| 653 | |a semantic tree | ||
| 653 | |a distribution | ||
| 653 | |a Aristotle's logic | ||
| 653 | |a syllogistic | ||
| 653 | |a Jan Łukasiewicz | ||
| 653 | |a axiomatic system | ||
| 653 | |a axiomatic refutation | ||
| 653 | |a temporal logic | ||
| 653 | |a intuitionistic logic | ||
| 653 | |a minimal system | ||
| 653 | |a knowledge | ||
| 653 | |a sequent-type calculi | ||
| 653 | |a nonmonotonic logics | ||
| 653 | |a default logic | ||
| 653 | |a rejection systems | ||
| 653 | |a Kripke models | ||
| 653 | |a logics of evidence and truth | ||
| 776 | |z 3-03943-358-X | ||
| 776 | |z 3-03943-359-8 | ||
| 700 | 1 | |a Citkin, Alex |4 edt | |
| 700 | 1 | |a Wybraniec-Skardowska, Urszula |4 oth | |
| 700 | 1 | |a Citkin, Alex |4 oth | |
| 906 | |a BOOK | ||
| ADM | |b 2023-12-15 05:45:52 Europe/Vienna |f system |c marc21 |a 2022-04-04 09:22:53 Europe/Vienna |g false | ||
| AVE | |i DOAB Directory of Open Access Books |P DOAB Directory of Open Access Books |x https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337951920004498&Force_direct=true |Z 5337951920004498 |b Available |8 5337951920004498 | ||