Switch to: Citations

References in:

Sequents and bivaluations

Logique Et Analyse 44 (176):373-394 (2001)

Add references

You must login to add references.
  1. Propositional sequence-calculi for inconsistent systems.Andrés R. Raggio - 1968 - Notre Dame Journal of Formal Logic 9 (4):359-366.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.
    This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, and mathematicians with a valuable survey (...)
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Remarks on Lukasiewicz's three-valued logic.Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (3):87-90.
    Download  
     
    Export citation  
     
    Bookmark   18 citations