Switch to: References

Add citations

You must login to add citations.
  1. The non-definability notion and first order logic.Michal Krynicki - 1988 - Studia Logica 47 (4):429 - 437.
    The theorem to the effect that the languageL introduced in [2] is mutually interpretable with the first order language is proved. This yields several model-theoretical results concerningL.
    Download  
     
    Export citation  
     
    Bookmark  
  • Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.Beata Konikowska - 1993 - Journal of Applied Non-Classical Logics 3 (1):39-71.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
    In this paper we describe, in a purely algebraic language, truth-complete finite-valued propositional logical calculi extending the classical Boolean calculus. We also give a new proof of the Completeness Theorem for such calculi. We investigate the quasi-varieties of algebras playing an analogous role in the theory of these finite-valued logics to the role played by the variety of Boolean algebras in classical logic.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • European Summer Meeting of the Association for Symbolic Logic, Hull, 1986.F. R. Drake - 1987 - Journal of Symbolic Logic 52 (4):1057-1094.
    Download  
     
    Export citation  
     
    Bookmark  
  • Meeting of the Association for Symbolic Logic Florence, Italy 1982. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, A. Marcja & D. van Dalen - 1984 - Journal of Symbolic Logic 49 (2):683 - 710.
    Download  
     
    Export citation  
     
    Bookmark  
  • Meeting of the association for symbolic logic: Stanford, california, 1985.Jon Barwise, Solomon Feferman & David Israel - 1986 - Journal of Symbolic Logic 51 (3):832-862.
    Download  
     
    Export citation  
     
    Bookmark  
  • European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984.P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates - 1986 - Journal of Symbolic Logic 51 (2):480-502.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Meeting of the Association for Symbolic Logic, Marseilles, 1981.J. Stern - 1983 - Journal of Symbolic Logic 48 (4):1210-1232.
    Download  
     
    Export citation  
     
    Bookmark