Switch to: References

Add citations

You must login to add citations.
  1. The deducibilities of S.Jean Porte - 1981 - Journal of Philosophical Logic 10 (4):409 - 422.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Antitheses in systems of relevant implication.Jean Porte - 1983 - Journal of Symbolic Logic 48 (1):97-99.
    Download  
     
    Export citation  
     
    Bookmark  
  • Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.
    The notion of an algebraizable logic in the sense of Blok and Pigozzi [3] is generalized to that of a possibly infinitely algebraizable, for short, p.i.-algebraizable logic by admitting infinite sets of equivalence formulas and defining equations. An example of the new class is given. Many ideas of this paper have been present in [3] and [4]. By a consequent matrix semantics approach the theory of algebraizable and p.i.-algebraizable logics is developed in a different way. It is related to the (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Considérations Algébriques Sur la Théorie de la Démonstration.Nicolas Both - 1974 - Mathematical Logic Quarterly 20 (34-36):529-536.
    Download  
     
    Export citation  
     
    Bookmark