Resultados da busca - Tranchini, Luca

Higher-level rules Hyperintensionality Identity of proofs Inferentialism Jacinto and Read’s GE-stability Meaning of logical constants Normalization, subformula, canonicity harmony PSH-inversion and harmony Paradox and proof-theory Paradoxes as non-denoting derivations Prawitz-Tennant analysis of paradoxes Proof theory and meaning Proof-theoretic harmony Proof-theoretic semantics Sense and denotation harmony via reductions and expansions proofs as constructions relative priority of correctness and validity thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation