Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations
In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for refuting. Therefore, a two-sorted typed \(\lambda...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
Lodz University Press
2025-05-01
|
| Seri Bilgileri: | Bulletin of the Section of Logic |
| Konular: | |
| Online Erişim: | https://czasopisma.uni.lodz.pl/bulletin/article/view/24062 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|