Switch to: References

Citations of:

The logic of description and existence

Uppsala: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet (1973)

Add citations

You must login to add citations.
  1. Proof Theory and Meaning.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • A novel approach to equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.
    A new type of formalization of classical first-order logic with equality is introduced on the basis of the sequent calculus. It serves to justify the claim that equality is a logical constant characterised by well-behaved rules satisfying properties usually regarded as essential. The main feature of this approach is the application of sequents built not only from formulae but also from terms. Two variants of sequent calculus are examined, a structural and a logical one. The former is defined in accordance (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations