skip to content
Frontiers of paraconsistent logic Preview this item
ClosePreview this item
Checking...

Frontiers of paraconsistent logic

Author: Diderik Batens
Publisher: Baldock, Hertfordshire, England ; Philadelphia, PA : Research Studies Press, ©2000.
Series: Studies in logic and computation, 8.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Diderik Batens
ISBN: 0863802532 9780863802539
OCLC Number: 42733572
Description: xiii, 336 pages ; 24 cm.
Contents: Relevant counterfactuals and paraconsistency / S. Akama --
Bilattices and paraconsistency / O. Arieli and A. Avron --
Paraconsistent deontic logic with enforceable rights / F.J. Ausín and L. Peña --
A survey of inconsistency-adaptive logics / D. Batens --
Graded paraconsistency--reasoning with inconsistent and uncertain knowledge / P. Besnard and J. Lang --
What is paraconsistent logic? / J.-Y. Béziau --
Entailment, negation and paradox solution / R.T. Brady --
Simple natural deduction for weakly aggregative paraconsistent logics / B. Brown --
Possible-translations semantics for paraconsistent logics / W.A. Carnielli --
Paraconsistent mathematics / N.C.A. da Costa --
A maximal paraconsistent logic : the combination of two three-valued isomorphs of classical propositional logic / A.S. Karpenko --
An extremely rich paraconsistent logic and the adaptive logic based on it / J. Meheus --
Prospects for inconsistency / C. Mortensen --
Exponentials as projections from paraconsistent logics / A. Patterson and T. Costello --
Motivations for paraconsistency : the slippery slope from classical logic to dialetheism / G. Priest --
Maybe, maybe not : a probabilistic semantics for two paraconsistent logics / L. Roberts --
An approach to the justification of semantics of paraconsistent logics / E.D. Smirnova --
Paraconsistency in categories / V.L. Vasyukov --
Supervaluationism and paraconsistency / A. Varzi --
Mathematical analysis of Priest's nonmonotonic version of a variant of Kleene's SK₃ / S. Weber --
Reasons for filtering classical logic / P. Weingartner.
Series Title: Studies in logic and computation, 8.
Responsibility: edited by Diderik Batens [and others].
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/42733572> # Frontiers of paraconsistent logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "42733572" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1080159#Place/philadelphia_pa> ; # Philadelphia, PA
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1080159#Place/baldock_hertfordshire_england> ; # Baldock, Hertfordshire, England
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1080159#Topic/aufsatzsammlung> ; # Aufsatzsammlung
   schema:about <http://experiment.worldcat.org/entity/work/data/1080159#Topic/parakonsistente_logik> ; # Parakonsistente Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/1080159#Topic/consistentie_logica> ; # Consistentie (logica)
   schema:about <http://experiment.worldcat.org/entity/work/data/1080159#Topic/logica> ; # Logica
   schema:about <http://id.loc.gov/authorities/classification/BC199> ;
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://dewey.info/class/160/e21/> ;
   schema:about <http://id.worldcat.org/fast/968816> ; # Inconsistency (Logic)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/19721943> ; # Diderik Batens
   schema:copyrightYear "2000" ;
   schema:datePublished "2000" ;
   schema:description "Relevant counterfactuals and paraconsistency / S. Akama -- Bilattices and paraconsistency / O. Arieli and A. Avron -- Paraconsistent deontic logic with enforceable rights / F.J. Ausín and L. Peña -- A survey of inconsistency-adaptive logics / D. Batens -- Graded paraconsistency--reasoning with inconsistent and uncertain knowledge / P. Besnard and J. Lang -- What is paraconsistent logic? / J.-Y. Béziau -- Entailment, negation and paradox solution / R.T. Brady -- Simple natural deduction for weakly aggregative paraconsistent logics / B. Brown -- Possible-translations semantics for paraconsistent logics / W.A. Carnielli -- Paraconsistent mathematics / N.C.A. da Costa -- A maximal paraconsistent logic : the combination of two three-valued isomorphs of classical propositional logic / A.S. Karpenko -- An extremely rich paraconsistent logic and the adaptive logic based on it / J. Meheus -- Prospects for inconsistency / C. Mortensen -- Exponentials as projections from paraconsistent logics / A. Patterson and T. Costello -- Motivations for paraconsistency : the slippery slope from classical logic to dialetheism / G. Priest -- Maybe, maybe not : a probabilistic semantics for two paraconsistent logics / L. Roberts -- An approach to the justification of semantics of paraconsistent logics / E.D. Smirnova -- Paraconsistency in categories / V.L. Vasyukov -- Supervaluationism and paraconsistency / A. Varzi -- Mathematical analysis of Priest's nonmonotonic version of a variant of Kleene's SK₃ / S. Weber -- Reasons for filtering classical logic / P. Weingartner."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1080159> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1080159#Series/studies_in_logic_and_computation> ; # Studies in logic and computation ;
   schema:name "Frontiers of paraconsistent logic"@en ;
   schema:productID "42733572" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/42733572#PublicationEvent/baldock_hertfordshire_england_philadelphia_pa_research_studies_press_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1080159#Agent/research_studies_press> ; # Research Studies Press
   schema:workExample <http://worldcat.org/isbn/9780863802539> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA041437> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/42733572> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1080159#Agent/research_studies_press> # Research Studies Press
    a bgn:Agent ;
   schema:name "Research Studies Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/1080159#Place/baldock_hertfordshire_england> # Baldock, Hertfordshire, England
    a schema:Place ;
   schema:name "Baldock, Hertfordshire, England" ;
    .

<http://experiment.worldcat.org/entity/work/data/1080159#Place/philadelphia_pa> # Philadelphia, PA
    a schema:Place ;
   schema:name "Philadelphia, PA" ;
    .

<http://experiment.worldcat.org/entity/work/data/1080159#Series/studies_in_logic_and_computation> # Studies in logic and computation ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/42733572> ; # Frontiers of paraconsistent logic
   schema:name "Studies in logic and computation ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1080159#Topic/consistentie_logica> # Consistentie (logica)
    a schema:Intangible ;
   schema:name "Consistentie (logica)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1080159#Topic/parakonsistente_logik> # Parakonsistente Logik
    a schema:Intangible ;
   schema:name "Parakonsistente Logik"@en ;
    .

<http://id.worldcat.org/fast/968816> # Inconsistency (Logic)
    a schema:Intangible ;
   schema:name "Inconsistency (Logic)"@en ;
    .

<http://viaf.org/viaf/19721943> # Diderik Batens
    a schema:Person ;
   schema:birthDate "1944" ;
   schema:familyName "Batens" ;
   schema:givenName "Diderik" ;
   schema:name "Diderik Batens" ;
    .

<http://worldcat.org/isbn/9780863802539>
    a schema:ProductModel ;
   schema:isbn "0863802532" ;
   schema:isbn "9780863802539" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.