CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS

First Page		Document Content
Date: 2010-08-30 08:34:57 Proof theory Natural deduction Linear logic Sequent Categorical logic First-order logic Intuitionistic logic Interpretation Propositional calculus Logic Mathematical logic Mathematics		CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS Add to Reading List Source URL: www.iam.unibe.ch Download Document from Source Website File Size: 1,02 MB Share Document on Facebook

	arXiv:quant-phv1 15 DecA Categorical Quantum Logic Samson Abramsky Ross Duncan DocID: 1tYSN - View Document
	Int J Theor Phys: 769–802 DOIs10773A Link between Quantum Logic and Categorical Quantum Mechanics John Harding DocID: 1tMie - View Document
	From Categorical Logic to Facebook Engineering Peter O’Hearn Facebook & University College London Abstract I chart a line of development from category-theoretic DocID: 1tyg3 - View Document
	Categorical Semantics for Linear Logic Wolfgang Jeltsch DocID: 1t6wj - View Document
	page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika Instituut DocID: 1sRem - View Document