5 found
Order:
  1.  25
    Topos Based Semantic for Constructive Logic with Strong Negation.Barbara Klunder & B. Klunder - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):509-519.
  2.  4
    Topos Based Semantic for Constructive Logic with Strong Negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
    The aim of the paper is to show that topoi are useful in the categorial analysis of the constructive logic with strong negation. In any topos ϵ we can distinguish an object Λ and its truth-arrows such that sets ϵ have a Nelson algebra structure. The object Λ is defined by the categorial counterpart of the algebraic FIDEL-VAKARELOV construction. Then it is possible to define the universal quantifier morphism which permits us to make the first order predicate calculus. The completeness (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  25
    Amalgamation in Varieties of Pseudo-Interior Algebras.Barbara Klunder - 2003 - Studia Logica 73 (3):431 - 443.
    The notion of a pseudo-interior algebra was introduced by Blok and Pigozzi in [3]. We continue here our studies begun in [6]. As a consequence of the representation theorem for pseudo-interior algebras given in [6] we prove that the variety of all pseudo-interior algebras has the amalgamation property. Using algebraic methods of Bergman [1] we find infinitely many varieties of pseudo-interior algebras with this property.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  24
    1. Object Λ and its Truth-Arrows.Barbara Klunder - 1990 - Bulletin of the Section of Logic 19 (4):133-137.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  36
    Varieties of Pseudo-Interior Algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.
    The notion of a pseudo-interior algebra was introduced by Blok and Pigozzi in [BPIV]. We continue here our studies begun in [BK]. As a consequence of the representation theorem for pseudo-interior algebras given in [BK] we prove that the variety of all pseudo-interior algebras is generated by its finite members. This result together with Jónsson's Theorem for congruence distributive varieties provides a useful technique in the study of the lattice of varieties of pseudo-interior algebras.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark