Synatical truth predicates for formulas with atomic negation
L. Colson
págs. 1-18
Continuous domains as formal spaces
S. Negri
págs. 19-52
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
Ugo Montanari , J. Meseguer, R. Bruni
págs. 53-90
Universal homogeneous graph-like structures and domains
F. Cardone, P. Boldi
págs. 91-109
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: