skip to content
Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning Preview this item
ClosePreview this item
Checking...

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning

Author: Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu
Publisher: Cham : Springer, 2015. ©2015
Series: Intelligent systems reference library, volume 88.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jair Minoro Abe; Seiki Akama; Kazumi Nakamatsu
ISBN: 9783319179124 3319179128 331917911X 9783319179117
OCLC Number: 907238311
Description: 1 online resource (x, 190 pages) : illustrations.
Contents: Introduction --
Propositional Annotated Logics P --
Predicate Annotated Logics Q --
Formal Issues --
Variants and Related Systems --
Applications --
Conclusions.
Series Title: Intelligent systems reference library, volume 88.
Responsibility: Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.

Abstract:

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the  Read more...

Reviews

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

Tags

Be the first.

Similar Items

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/907238311> # Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "907238311" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2496311630#Topic/logic_programming> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/2496311630#Topic/computers_programming_general> ; # COMPUTERS--Programming--General
    schema:about <http://dewey.info/class/005.101/e23/> ;
    schema:author <http://experiment.worldcat.org/entity/work/data/2496311630#Person/nakamatsu_kazumi> ; # Kazumi Nakamatsu
    schema:author <http://experiment.worldcat.org/entity/work/data/2496311630#Person/abe_jair_minoro> ; # Jair Minoro Abe
    schema:author <http://experiment.worldcat.org/entity/work/data/2496311630#Person/akama_seiki> ; # Seiki Akama
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2015" ;
    schema:datePublished "2015" ;
    schema:description "Introduction -- Propositional Annotated Logics P -- Predicate Annotated Logics Q -- Formal Issues -- Variants and Related Systems -- Applications -- Conclusions."@en ;
    schema:description "This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers, and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2496311630> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1868-4394> ; # Intelligent systems reference library,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2496311630#Series/intelligent_systems_reference_library> ; # Intelligent systems reference library ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/2496311630#CreativeWork/> ;
    schema:name "Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning"@en ;
    schema:productID "907238311" ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://link.springer.com/10.1007/978-3-319-17912-4> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=2120583> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-17911-7> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-17912-4> ;
    schema:url <http://www.myilibrary.com?id=789943> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=2120583> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks3/springer/2015-05-26/1/9783319179124> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-17912-4> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=977885> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-17912-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-17912-4> ;
    schema:workExample <http://worldcat.org/isbn/9783319179124> ;
    schema:workExample <http://worldcat.org/isbn/9783319179117> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-17912-4> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/907238311> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2496311630#Person/abe_jair_minoro> # Jair Minoro Abe
    a schema:Person ;
    schema:familyName "Abe" ;
    schema:givenName "Jair Minoro" ;
    schema:name "Jair Minoro Abe" ;
    .

<http://experiment.worldcat.org/entity/work/data/2496311630#Person/akama_seiki> # Seiki Akama
    a schema:Person ;
    schema:familyName "Akama" ;
    schema:givenName "Seiki" ;
    schema:name "Seiki Akama" ;
    .

<http://experiment.worldcat.org/entity/work/data/2496311630#Person/nakamatsu_kazumi> # Kazumi Nakamatsu
    a schema:Person ;
    schema:familyName "Nakamatsu" ;
    schema:givenName "Kazumi" ;
    schema:name "Kazumi Nakamatsu" ;
    .

<http://experiment.worldcat.org/entity/work/data/2496311630#Series/intelligent_systems_reference_library> # Intelligent systems reference library ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/907238311> ; # Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning
    schema:name "Intelligent systems reference library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2496311630#Topic/computers_programming_general> # COMPUTERS--Programming--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2496311630#Topic/logic_programming> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://worldcat.org/entity/work/data/2496311630#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/907238311> ; # Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning
    .

<http://worldcat.org/isbn/9783319179117>
    a schema:ProductModel ;
    schema:isbn "331917911X" ;
    schema:isbn "9783319179117" ;
    .

<http://worldcat.org/isbn/9783319179124>
    a schema:ProductModel ;
    schema:isbn "3319179128" ;
    schema:isbn "9783319179124" ;
    .

<http://worldcat.org/issn/1868-4394> # Intelligent systems reference library,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/907238311> ; # Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning
    schema:issn "1868-4394" ;
    schema:name "Intelligent systems reference library," ;
    .

<http://www.worldcat.org/title/-/oclc/907238311>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/907238311> ; # Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning
    schema:dateModified "2018-07-13" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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