Switch to: References

Add citations

You must login to add citations.
  1. Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
    This paper develops an order-theoretic generalization of Blok and Pigozziʼs notion of an algebraizable logic. Unavoidably, the ordered model class of a logic, when it exists, is not unique. For uniqueness, the definition must be relativized, either syntactically or semantically. In sentential systems, for instance, the order algebraization process may be required to respect a given but arbitrary polarity on the signature. With every deductive filter of an algebra of the pertinent type, the polarity associates a reflexive and transitive relation (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Functions definable in Sugihara algebras and their fragments. II.Marek Tokarz - 1976 - Studia Logica 35:279.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.
    The logic RM and its basic fragments (always with implication) are considered here as entire consequence relations, rather than as sets of theorems. A new observation made here is that the disjunction of RM is definable in terms of its other positive propositional connectives, unlike that of R. The basic fragments of RM therefore fall naturally into two classes, according to whether disjunction is or is not definable. In the equivalent quasivariety semantics of these fragments, which consist of subreducts of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)A strongly finite logic with infinite degree of maximality.Marek Tokarz - 1976 - Studia Logica 35 (4):447 - 451.
    Download  
     
    Export citation  
     
    Bookmark   7 citations