THE CONTINUOUS REALIZABILITY OF ENTAILMENT

This publication has 9 references indexed in Scilit:

• Algebraic Theories
  Published by Springer Nature ,1976
• The Semantics of Entailment
  Published by Elsevier ,1973
• Algebraic completeness results for R-mingle and its extensions
  The Journal of Symbolic Logic, 1970
• An Abstract Notion of Realizability for Which Intuitionistic Predicate Calculus is Complete
  Published by Elsevier ,1970
• E, R AND γ
  The Journal of Symbolic Logic, 1969
• Intensional models for first degree formulas
  The Journal of Symbolic Logic, 1967
• A convenient category of topological spaces.
  The Michigan Mathematical Journal, 1967
• FUNCTION SPACES AND PRODUCT TOPOLOGIES
  The Quarterly Journal of Mathematics, 1964
• TEN TOPOLOGIES FOR X × Y
  The Quarterly Journal of Mathematics, 1963