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.
Kaydedildi:
| Materyal Türü: | Online |
|---|---|
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
MDPI - Multidisciplinary Digital Publishing Institute
2021
|
| Konular: | |
| Online Erişim: | ONIX_20210501_9783039433582_1042 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| _version_ | 1869520433779310592 |
|---|---|
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-69296 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | MDPI - Multidisciplinary Digital Publishing Institute |
| publisherStr | MDPI - Multidisciplinary Digital Publishing Institute |
| record_format | ojs |
| spelling | doab-20.500.12854ir-692962024-03-28T03:32:19Z Deductive Systems in Traditional and Modern Logic Wybraniec-Skardowska, Urszula Citkin, Alex quine logic ontology multiple conclusion rule disjunction property metadisjunction axiomatizations of arithmetic of natural and integers numbers second-order theories Peano’s axioms Wilkosz’s axioms axioms of integer arithmetic modeled on Peano and Wilkosz axioms equivalent axiomatizations metalogic categoricity independence consistency logic of typical and atypical instances (LTA) logic of determination of objects (LDO) quasi topology structure (QTS) concept object typical object atypical object lattice filter ideal discussive logics the smallest discussive logic discussive operators seriality accessibility relation Kotas’ method modal logic deontic logic ontology of situations semantics of law formal theory of law Wittgenstein Wolniewicz non-Fregean logic identity connective sentential calculus with identity situational semantics deduction (dual) tableau Gentzen system deductive refutability refutation systems hybrid deduction–refutation rules derivative hybrid rules soundness completeness natural deduction meta-proof theory synthetic tableaux principle of bivalence cut first-order theory universal axiom Peano’s axiomatics of natural numbers Leśniewski’s elementary ontology Frege’s predication scheme Frege’s Zahl-Anzahl distinction term logic Franz Brentano Lewis Carroll logic trees logic diagrams paraconsistent logic paraconsistency Sette’s calculus the law of explosion the principle of ex contradictione sequitur quodlibet semantic tree distribution Aristotle’s logic syllogistic Jan Łukasiewicz axiomatic system axiomatic refutation temporal logic intuitionistic logic minimal system knowledge sequent-type calculi nonmonotonic logics default logic rejection systems Kripke models logics of evidence and truth n/a thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general thema EDItEUR::P Mathematics and Science 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. 2021-05-01T15:46:04Z 2021-05-01T15:46:04Z 2020 book ONIX_20210501_9783039433582_1042 9783039433582 9783039433599 https://directory.doabooks.org/handle/20.500.12854/69296 eng application/octet-stream Attribution 4.0 International https://mdpi.com/books/pdfview/book/3086 https://mdpi.com/books/pdfview/book/3086 MDPI - Multidisciplinary Digital Publishing Institute 10.3390/books978-3-03943-359-9 10.3390/books978-3-03943-359-9 46cabcaa-dd94-4bfe-87b4-55023c1b36d0 9783039433582 9783039433599 298 Basel, Switzerland open access |
| spellingShingle | quine logic ontology multiple conclusion rule disjunction property metadisjunction axiomatizations of arithmetic of natural and integers numbers second-order theories Peano’s axioms Wilkosz’s axioms axioms of integer arithmetic modeled on Peano and Wilkosz axioms equivalent axiomatizations metalogic categoricity independence consistency logic of typical and atypical instances (LTA) logic of determination of objects (LDO) quasi topology structure (QTS) concept object typical object atypical object lattice filter ideal discussive logics the smallest discussive logic discussive operators seriality accessibility relation Kotas’ method modal logic deontic logic ontology of situations semantics of law formal theory of law Wittgenstein Wolniewicz non-Fregean logic identity connective sentential calculus with identity situational semantics deduction (dual) tableau Gentzen system deductive refutability refutation systems hybrid deduction–refutation rules derivative hybrid rules soundness completeness natural deduction meta-proof theory synthetic tableaux principle of bivalence cut first-order theory universal axiom Peano’s axiomatics of natural numbers Leśniewski’s elementary ontology Frege’s predication scheme Frege’s Zahl-Anzahl distinction term logic Franz Brentano Lewis Carroll logic trees logic diagrams paraconsistent logic paraconsistency Sette’s calculus the law of explosion the principle of ex contradictione sequitur quodlibet semantic tree distribution Aristotle’s logic syllogistic Jan Łukasiewicz axiomatic system axiomatic refutation temporal logic intuitionistic logic minimal system knowledge sequent-type calculi nonmonotonic logics default logic rejection systems Kripke models logics of evidence and truth n/a thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general thema EDItEUR::P Mathematics and Science Deductive Systems in Traditional and Modern Logic |
| title | Deductive Systems in Traditional and Modern Logic |
| title_full | Deductive Systems in Traditional and Modern Logic |
| title_fullStr | Deductive Systems in Traditional and Modern Logic |
| title_full_unstemmed | Deductive Systems in Traditional and Modern Logic |
| title_short | Deductive Systems in Traditional and Modern Logic |
| title_sort | deductive systems in traditional and modern logic |
| topic | quine logic ontology multiple conclusion rule disjunction property metadisjunction axiomatizations of arithmetic of natural and integers numbers second-order theories Peano’s axioms Wilkosz’s axioms axioms of integer arithmetic modeled on Peano and Wilkosz axioms equivalent axiomatizations metalogic categoricity independence consistency logic of typical and atypical instances (LTA) logic of determination of objects (LDO) quasi topology structure (QTS) concept object typical object atypical object lattice filter ideal discussive logics the smallest discussive logic discussive operators seriality accessibility relation Kotas’ method modal logic deontic logic ontology of situations semantics of law formal theory of law Wittgenstein Wolniewicz non-Fregean logic identity connective sentential calculus with identity situational semantics deduction (dual) tableau Gentzen system deductive refutability refutation systems hybrid deduction–refutation rules derivative hybrid rules soundness completeness natural deduction meta-proof theory synthetic tableaux principle of bivalence cut first-order theory universal axiom Peano’s axiomatics of natural numbers Leśniewski’s elementary ontology Frege’s predication scheme Frege’s Zahl-Anzahl distinction term logic Franz Brentano Lewis Carroll logic trees logic diagrams paraconsistent logic paraconsistency Sette’s calculus the law of explosion the principle of ex contradictione sequitur quodlibet semantic tree distribution Aristotle’s logic syllogistic Jan Łukasiewicz axiomatic system axiomatic refutation temporal logic intuitionistic logic minimal system knowledge sequent-type calculi nonmonotonic logics default logic rejection systems Kripke models logics of evidence and truth n/a thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general thema EDItEUR::P Mathematics and Science |
| topic_facet | quine logic ontology multiple conclusion rule disjunction property metadisjunction axiomatizations of arithmetic of natural and integers numbers second-order theories Peano’s axioms Wilkosz’s axioms axioms of integer arithmetic modeled on Peano and Wilkosz axioms equivalent axiomatizations metalogic categoricity independence consistency logic of typical and atypical instances (LTA) logic of determination of objects (LDO) quasi topology structure (QTS) concept object typical object atypical object lattice filter ideal discussive logics the smallest discussive logic discussive operators seriality accessibility relation Kotas’ method modal logic deontic logic ontology of situations semantics of law formal theory of law Wittgenstein Wolniewicz non-Fregean logic identity connective sentential calculus with identity situational semantics deduction (dual) tableau Gentzen system deductive refutability refutation systems hybrid deduction–refutation rules derivative hybrid rules soundness completeness natural deduction meta-proof theory synthetic tableaux principle of bivalence cut first-order theory universal axiom Peano’s axiomatics of natural numbers Leśniewski’s elementary ontology Frege’s predication scheme Frege’s Zahl-Anzahl distinction term logic Franz Brentano Lewis Carroll logic trees logic diagrams paraconsistent logic paraconsistency Sette’s calculus the law of explosion the principle of ex contradictione sequitur quodlibet semantic tree distribution Aristotle’s logic syllogistic Jan Łukasiewicz axiomatic system axiomatic refutation temporal logic intuitionistic logic minimal system knowledge sequent-type calculi nonmonotonic logics default logic rejection systems Kripke models logics of evidence and truth n/a thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general thema EDItEUR::P Mathematics and Science |
| url | ONIX_20210501_9783039433582_1042 |