Switch to: References

Add citations

You must login to add citations.
  1. The Original Sin of Proof-Theoretic Semantics.Bogdan Dicher & Francesco Paoli - forthcoming - Synthese:1-26.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Export citation  
    Bookmark   2 citations