• Shop by category
  • Powered by eBay
  • Proof Theory of N4-Paraconsistent Logics by Norihiro Kamide [Paperback]

    • Item No : 176808743351
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : loveourprices2
    • Current Bid : US $22.31
    • * Item Description

    • Substructural subsystems of N4, such as paraconsistent intuitionistic linear logics, paraconsistent logics based on involutive quantales, and paraconsistent Lambek logics. The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nelson.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category