VSL 2014: VIENNA SUMMER OF LOGIC 2014

Intuitionistic Ancestral Logic

Authors: Liron Cohen and Robert Constable

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Intuitionistic Ancestral Logic
Authors:Liron Cohen and Robert Constable
Proceedings:PSC 2014 Abstracts
Editors: Peter Schuster, Dirk Pattinson and Ana Sokolova
Keywords:Intuitionistic logic, Ancestral logic, Transitive closure, Constructive type theory, Realizability semantics
Abstract:

ABSTRACT. In the PDF file.

Pages:2
Talk:Jul 18 11:30
Paper:
Disclaimer | Powered by EasyChair Smart Program