skip to content
Constructive negations and paraconsistency Preview this item
ClosePreview this item
Checking...

Constructive negations and paraconsistency

Author: Sergei P Odintsov
Publisher: [Dordrecht?] : Springer, ©2008.
Series: Trends in logic, v. 26.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"This book presents the author's recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic."--Jacket.
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

Document Type: Book
All Authors / Contributors: Sergei P Odintsov
ISBN: 9781402068669 1402068662 1402068670 9781402068676 9048177448 9789048177448
OCLC Number: 191753876
Description: vi, 240 pages : illustrations ; 25 cm.
Contents: Reductio ad Absurdum.- Minimal Logic. Preliminary Remarks.- Logic of Classical Refutability.- The Class of Extensions of Minimal Logic.- Adequate Algebraic Semantics for Extensions of Minimal Logic.- Negatively Equivalent Logics.- Absurdity as Unary Operator.- Strong Negation.- Semantical Study of Paraconsistent Nelson's Logic.- N4?-Lattices.- The Class of N4?-Extensions.- Conclusion.
Series Title: Trends in logic, v. 26.
Responsibility: by Sergei P. Odintsov.
More information:

Abstract:

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "This book is much more than a collection of papers, everything has been organized very smoothly and it forms a coherent whole about the study of a big class of logics. The Read more...

 
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/191753876> # Constructive negations and paraconsistency
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "191753876" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/119734433#Place/dordrecht> ; # Dordrecht?
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/119734433#Topic/symbolisk_logik> ; # Symbolisk logik
   schema:about <http://dewey.info/class/160/e22/> ;
   schema:about <http://id.worldcat.org/fast/1035482> ; # Negation (Logic)
   schema:about <http://experiment.worldcat.org/entity/work/data/119734433#Topic/logics_admitting_inconsistency_paraconsistent_logics_discussive_logics_etc> ; # Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.)
   schema:about <http://experiment.worldcat.org/entity/work/data/119734433#Topic/negation_logik> ; # Negation (logik)
   schema:about <http://experiment.worldcat.org/entity/work/data/119734433#Topic/mathematical_logic_and_foundations> ; # Mathematical logic and foundations
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2008" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/119734433#Person/odintsov_sergei_p> ; # Sergei P. Odintsov
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/119734433> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/119734433#Series/trends_in_logic> ; # Trends in logic ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/119734433#Series/trends_in_logic_studia_logica_library> ; # Trends in logic : studia logica library ;
   schema:name "Constructive negations and paraconsistency"@en ;
   schema:productID "191753876" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/191753876#PublicationEvent/dordrecht_springer_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/119734433#Agent/springer> ; # Springer
   schema:reviews <http://www.worldcat.org/title/-/oclc/191753876#Review/1706596572> ;
   schema:workExample <http://worldcat.org/isbn/9789048177448> ;
   schema:workExample <http://worldcat.org/isbn/9781402068669> ;
   schema:workExample <http://worldcat.org/isbn/9781402068676> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA813527> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/191753876> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/119734433#Person/odintsov_sergei_p> # Sergei P. Odintsov
    a schema:Person ;
   schema:familyName "Odintsov" ;
   schema:givenName "Sergei P." ;
   schema:name "Sergei P. Odintsov" ;
    .

<http://experiment.worldcat.org/entity/work/data/119734433#Series/trends_in_logic> # Trends in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/191753876> ; # Constructive negations and paraconsistency
   schema:name "Trends in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/119734433#Series/trends_in_logic_studia_logica_library> # Trends in logic : studia logica library ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/191753876> ; # Constructive negations and paraconsistency
   schema:name "Trends in logic : studia logica library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/119734433#Topic/logics_admitting_inconsistency_paraconsistent_logics_discussive_logics_etc> # Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.)
    a schema:Intangible ;
   schema:name "Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/119734433#Topic/mathematical_logic_and_foundations> # Mathematical logic and foundations
    a schema:Intangible ;
   schema:name "Mathematical logic and foundations"@en ;
    .

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

<http://worldcat.org/isbn/9781402068669>
    a schema:ProductModel ;
   schema:isbn "1402068662" ;
   schema:isbn "9781402068669" ;
    .

<http://worldcat.org/isbn/9781402068676>
    a schema:ProductModel ;
   schema:isbn "1402068670" ;
   schema:isbn "9781402068676" ;
    .

<http://worldcat.org/isbn/9789048177448>
    a schema:ProductModel ;
   schema:isbn "9048177448" ;
   schema:isbn "9789048177448" ;
    .

<http://www.worldcat.org/title/-/oclc/191753876#Review/1706596572>
    a schema:Review ;
   schema:itemReviewed <http://www.worldcat.org/oclc/191753876> ; # Constructive negations and paraconsistency
   schema:reviewBody ""This book presents the author's recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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