Switch to: References

Add citations

You must login to add citations.
  1. On structural completeness of many-valued logics.Piotr Wojtylak - 1978 - Studia Logica 37 (2):139 - 147.
    In the paper some consequence operations generated by ukasiewicz's matrices are examined.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
  • Note on deducibility and many-valuedness.Ryszard Wójcicki - 1974 - Journal of Symbolic Logic 39 (3):563-566.
  • Invariant Systems of Łukasiewicz Calculi.Marek Tokarz - 1974 - Mathematical Logic Quarterly 20 (13‐18):221-228.
  • Invariant Systems of Łukasiewicz Calculi.Marek Tokarz - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):221-228.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Structural completeness of the first‐order predicate calculus.W. A. Pogorzelski & T. Prucnal - 1975 - Mathematical Logic Quarterly 21 (1):315-320.
  • Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
    Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations