The first-order hypothetical logic of proofs

The Propositional Logic of Proofs (LP) is a modal logic in which the modality □A is revisited as [[t]]A, t being an expression that bears witness to the validity of A. It enjoys arithmetical soundness and completeness, can realize all S4 theorems and is capable of reflecting its own proofs (⊢A impli...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Steren, G., Bonelli, E.
Formato: JOUR
Materias:
Curry howard isomorphism
First-order logic of proofs
Lambda calculus
Natural deduction
Calculations
Computer circuits
Differentiation (calculus)
Semantics
Curry-Howard correspondence
Curry-Howard isomorphism
First order logic
Provability semantics
Soundness and completeness
Strong normalization
Formal logic
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_0955792X_v27_n4_p1023_Steren
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares