Deductive Systems in Traditional and Modern Logic

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:
Bibliographic Details
HerausgeberIn:
Citkin, Alex
Sonstige:
Wybraniec-Skardowska, Urszula
Citkin, Alex
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!
id 993545597904498
ctrlnum (CKB)5400000000043242
(oapen)https://directory.doabooks.org/handle/20.500.12854/69296
(EXLCZ)995400000000043242
collection bib_alma
record_format marc
spelling Wybraniec-Skardowska, Urszula edt
Deductive Systems in Traditional and Modern Logic
Basel, Switzerland MDPI - Multidisciplinary Digital Publishing Institute 2020
1 electronic resource (298 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
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.
English
Research & information: general bicssc
Mathematics & science bicssc
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
3-03943-358-X
3-03943-359-8
Citkin, Alex edt
Wybraniec-Skardowska, Urszula oth
Citkin, Alex oth
language English
format eBook
author2 Citkin, Alex
Wybraniec-Skardowska, Urszula
Citkin, Alex
author_facet Citkin, Alex
Wybraniec-Skardowska, Urszula
Citkin, Alex
author2_variant u w s uws
a c ac
author2_role HerausgeberIn
Sonstige
Sonstige
title Deductive Systems in Traditional and Modern Logic
spellingShingle 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_auth Deductive Systems in Traditional and Modern Logic
title_new Deductive Systems in Traditional and Modern Logic
title_sort deductive systems in traditional and modern logic
publisher MDPI - Multidisciplinary Digital Publishing Institute
publishDate 2020
physical 1 electronic resource (298 p.)
isbn 3-03943-358-X
3-03943-359-8
illustrated Not Illustrated
work_keys_str_mv AT wybraniecskardowskaurszula deductivesystemsintraditionalandmodernlogic
AT citkinalex deductivesystemsintraditionalandmodernlogic
status_str n
ids_txt_mv (CKB)5400000000043242
(oapen)https://directory.doabooks.org/handle/20.500.12854/69296
(EXLCZ)995400000000043242
carrierType_str_mv cr
is_hierarchy_title Deductive Systems in Traditional and Modern Logic
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1796648786760564736
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04483nam-a2201405z--4500</leader><controlfield tag="001">993545597904498</controlfield><controlfield tag="005">20231214133158.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202105s2020 xx |||||o ||| 0|eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5400000000043242</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/69296</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995400000000043242</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wybraniec-Skardowska, Urszula</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deductive Systems in Traditional and Modern Logic</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Basel, Switzerland</subfield><subfield code="b">MDPI - Multidisciplinary Digital Publishing Institute</subfield><subfield code="c">2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (298 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Research &amp; information: general</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics &amp; science</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">quine</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">ontology</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">multiple conclusion rule</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">disjunction property</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">metadisjunction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">axiomatizations of arithmetic of natural and integers numbers</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">second-order theories</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Peano's axioms</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Wilkosz's axioms</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">axioms of integer arithmetic modeled on Peano and Wilkosz axioms</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">equivalent axiomatizations</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">metalogic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">categoricity</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">independence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">consistency</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic of typical and atypical instances (LTA)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic of determination of objects (LDO)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">quasi topology structure (QTS)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">concept</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">object</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">typical object</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">atypical object</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">lattice</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">filter</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">ideal</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">discussive logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">the smallest discussive logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">discussive operators</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">seriality</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">accessibility relation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Kotas' method</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">modal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">deontic logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">ontology of situations</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantics of law</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal theory of law</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Wittgenstein</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Wolniewicz</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">non-Fregean logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">identity connective</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">sentential calculus with identity</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">situational semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">deduction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">(dual) tableau</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Gentzen system</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">deductive refutability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">refutation systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">hybrid deduction-refutation rules</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">derivative hybrid rules</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">soundness</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">completeness</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">natural deduction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">meta-proof theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">synthetic tableaux</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">principle of bivalence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">cut</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">first-order theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">universal axiom</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Peano's axiomatics of natural numbers</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Leśniewski's elementary ontology</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Frege's predication scheme</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Frege's Zahl-Anzahl distinction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">term logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Franz Brentano</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Lewis Carroll</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic trees</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic diagrams</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">paraconsistent logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">paraconsistency</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Sette's calculus</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">the law of explosion</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">the principle of ex contradictione sequitur quodlibet</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantic tree</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">distribution</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Aristotle's logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">syllogistic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Jan Łukasiewicz</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">axiomatic system</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">axiomatic refutation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">temporal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">intuitionistic logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">minimal system</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">knowledge</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">sequent-type calculi</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">nonmonotonic logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">default logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">rejection systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Kripke models</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logics of evidence and truth</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-03943-358-X</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-03943-359-8</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Citkin, Alex</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wybraniec-Skardowska, Urszula</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Citkin, Alex</subfield><subfield code="4">oth</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-12-15 05:45:52 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-04-04 09:22:53 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5337951920004498&amp;Force_direct=true</subfield><subfield code="Z">5337951920004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337951920004498</subfield></datafield></record></collection>

Similar Items