A generalized cut characterization of the fullness axiom in CZF.

Laura Crosilla Erik Palmgren Peter Schuster

Published in: Log. J. IGPL (2013)

Keyphrases

inference rules
pairwise
modal logic
databases
real world
website
data structure
cooperative
multiresolution