4 found
Order:
  1.  33
    A Galois Connection.Stan J. Surma - 2007 - Logica Universalis 1 (1):209-219.
    . The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  10
    Between Galois Connections and (Some Metamathematical) Solutions of Equations Fgf=F and Gfg=G.Stan J. Surma - 2004 - Annals of Pure and Applied Logic 127 (1-3):229-242.
    The method based on the idea of Galois connection is well known. It facilitates investigations into similarities between mathematical structures, including isomorphisms between these structures, the highest degree of similarity. This idea is employed here and adapted so as to get to the core of aspects of the relationship between some metamathematical structures. The focus is put on the relation between traditional methodological orthodoxy based on the idea of proof , on the one hand, and on some alternative methodological set-ups (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    Between Galois Connections and (Some Metamathematical) Solutions of Equations< I> Fgf=< I> F_ and< I> Gfg_=< I> G.Stan J. Surma - 2004 - Annals of Pure and Applied Logic 127 (1):229-242.
  4.  11
    An Axiomatisation of the Conditionals of Post's Many Valued Logics.Stan J. Surma - 1995 - Mathematical Logic Quarterly 41 (3):369-372.
    The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's -conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values . The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark