Switch to: Citations

Add references

You must login to add references.
  1. Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
    A method is presented for constructing natural deduction-style systems for propositional relevant logics. The method consists in first translating formulas of relevant logics into ternary relations, and then defining deduction rules for a corresponding logic of ternary relations. Proof systems of that form are given for various relevant logics. A class of algebras of ternary relations is introduced that provides a relation-algebraic semantics for relevant logics.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Adequate models for the non-Fregean sentential calculus (SCI).Roman Suszko - 1973 - In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, language, and probability. Dordrecht: D. Reidel Pub. Co.. pp. 49--54.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Abolition of the Fregean Axiom.Roman Suszko - 1975 - Lecture Notes in Mathematics 453:169-239.
    Download  
     
    Export citation  
     
    Bookmark   52 citations