Buscar
Mostrando ítems 1-7 de 7
Hypothetical Logic of Proofs
(Springer, 2014-03)
The logic of proofs is a refinement of modal logic introduced by Artemov in 1995 in which the modality ◻A is revisited as ⟦t⟧A where t is an expression that bears witness to the validity of A. It enjoys arithmetical soundness ...
Simply typed lambda calculus with opposite types
(Medellín, Colombia, 2022)
Justification logic and audited computation
(Oxford University Press, 2015-06)
Justification Logic ( JL ) is a refinement of modal logic in which assertions of knowledge and belief are accompanied by justifications: the formula 〚s〛A states that s is a ‘reason’ for knowing/believing A . We study the ...
Adding Logic To The Toolbox Of Molecular Biology
(SPRINGERDORDRECHT, 2015)
Control biológico de fitopatógenos, insectos y ácaros: agentes de control biológico. V. 1
(Corporación colombiana de investigación agropecuaria - AGROSAVIAMosquera, 2018)
El presente libro recoge los desarrollos más relevantes a nivel mundial, las experiencias de Corpoica (hoy AGROSAVIA) y el trabajo de décadas de los coautores nacionales e internacionales que hacen parte del mismo. La ...