skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
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
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: Congresses
Conference papers and proceedings
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

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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/42733572<\/a>> # Frontiers of paraconsistent logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Book<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"42733572<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Place\/philadelphia_pa<\/a>> ; # Philadelphia, PA<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Place\/baldock_hertfordshire_england<\/a>> ; # Baldock, Hertfordshire, England<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Topic\/aufsatzsammlung<\/a>> ; # Aufsatzsammlung<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Topic\/parakonsistente_logik<\/a>> ; # Parakonsistente Logik<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Topic\/consistentie_logica<\/a>> ; # Consistentie (logica)<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Topic\/logica<\/a>> ; # Logica<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.loc.gov\/authorities\/classification\/BC199<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/511.3\/e21\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/160\/e21\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/968816<\/a>> ; # Inconsistency (Logic)<\/span>\n\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/19721943<\/a>> ; # Diderik Batens<\/span>\n\u00A0\u00A0\u00A0\nschema:copyrightYear<\/a> \"2000<\/span>\" ;\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2000<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Relevant counterfactuals and paraconsistency \/ S. Akama -- Bilattices and paraconsistency \/ O. Arieli and A. Avron -- Paraconsistent deontic logic with enforceable rights \/ F.J. Aus\u00EDn and L. Pe\u00F1a -- 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\u00E9ziau -- 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\u2083 \/ S. Weber -- Reasons for filtering classical logic \/ P. Weingartner.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/1080159<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference papers and proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Congresses<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference publication<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Series\/studies_in_logic_and_computation<\/a>> ; # Studies in logic and computation ;<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Frontiers of paraconsistent logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"42733572<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/42733572#PublicationEvent\/baldock_hertfordshire_england_philadelphia_pa_research_studies_press_2000<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Agent\/research_studies_press<\/a>> ; # Research Studies Press<\/span>\n\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780863802539<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/bnb.data.bl.uk\/id\/resource\/GBA041437<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/42733572<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/160\/e21\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dewey.info\/class\/511.3\/e21\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Agent\/research_studies_press<\/a>> # Research Studies Press<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Research Studies Press<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Place\/baldock_hertfordshire_england<\/a>> # Baldock, Hertfordshire, England<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Baldock, Hertfordshire, England<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Place\/philadelphia_pa<\/a>> # Philadelphia, PA<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Philadelphia, PA<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Series\/studies_in_logic_and_computation<\/a>> # Studies in logic and computation ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/42733572<\/a>> ; # Frontiers of paraconsistent logic<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Studies in logic and computation ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Topic\/aufsatzsammlung<\/a>> # Aufsatzsammlung<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Aufsatzsammlung<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Topic\/consistentie_logica<\/a>> # Consistentie (logica)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Consistentie (logica)<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Topic\/logica<\/a>> # Logica<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logica<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Topic\/parakonsistente_logik<\/a>> # Parakonsistente Logik<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Parakonsistente Logik<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/authorities\/classification\/BC199<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"enk<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/968816<\/a>> # Inconsistency (Logic)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Inconsistency (Logic)<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/19721943<\/a>> # Diderik Batens<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1944<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Batens<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Diderik<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Diderik Batens<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780863802539<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0863802532<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780863802539<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/42733572<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/42733572<\/a>> ; # Frontiers of paraconsistent logic<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-07-18<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/42733572#PublicationEvent\/baldock_hertfordshire_england_philadelphia_pa_research_studies_press_2000<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Place\/philadelphia_pa<\/a>> ; # Philadelphia, PA<\/span>\n\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Place\/baldock_hertfordshire_england<\/a>> ; # Baldock, Hertfordshire, England<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1080159#Agent\/research_studies_press<\/a>> ; # Research Studies Press<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n