Switch to: Citations

Add references

You must login to add references.
  1. Essais Sur les Logiques Non Chrysippiennes.Grigore C. Moisil - 1972 - Éditions de l'Académie Socialiste de Roumanie.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  • Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
    We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n -valued logics, each one of which is not (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   16 citations  
  • Formal Inconsistency and Evolutionary Databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
    This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  • An Alternative Approach for Quasi-Truth.Marcelo E. Coniglio & Luiz H. Da Cruz Silvestrini - 2014 - Logic Journal of the IGPL 22 (2):387-410.
    In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Maximal Weakly-Intuitionistic Logics.A. M. Sette & Walter A. Carnielli - 1995 - Studia Logica 55 (1):181 - 203.
    This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • How a Computer Should Think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
  • Varieties of MV-Algebras.Giovanni Panti - 1999 - Journal of Applied Non-Classical Logics 9 (1):141-157.
    ABSTRACT We characterize, for every subvariety V of the variety of all MV- algebras, the free objects in V. We use our results to compute coproducts in V and to provide simple single-axiom axiomatizations of all many-valued logics extending the Lukasiewicz one.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the Set of Intermediate Logics Between the Truth- and Degree-Preserving Łukasiewicz Logics.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2016 - Logic Journal of the IGPL 24 (3):288-320.
  • Dynamic Dialectical Logics.Diderik Batens - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 187--217.
     
    Export citation  
     
    Bookmark   39 citations  
  • Lukasiewicz Logic and Wajsberg Algebras.Antonio J. Rodriguez, Antoni Torrens & Ventura Verdú - 1990 - Bulletin of the Section of Logic 19 (2):51-55.