<--- Back to Details
First PageDocument Content
Mathematical constructivism / Logic in computer science / Algebraic structures / Realizability / Categorical logic / Function / Intuitionistic logic / Combinatory logic / First-order logic / Mathematical logic / Mathematics / Logic
Date: 2010-06-11 17:18:33
Mathematical constructivism
Logic in computer science
Algebraic structures
Realizability
Categorical logic
Function
Intuitionistic logic
Combinatory logic
First-order logic
Mathematical logic
Mathematics
Logic

The Realizability Approach to Computable Analysis and Topology Andrej Bauer

Add to Reading List

Source URL: andrej.com

Download Document from Source Website

File Size: 1,30 MB

Share Document on Facebook

Similar Documents

Some Notes on Intuitionistic Logic and Dialogue Semantics by Thomas Piecha University of Belgrade

DocID: 1uyIP - View Document

Logic / Mathematical logic / Non-classical logic / Philosophical logic / Logic in computer science / Proof theory / Modal logic / Modality / Paraconsistent logic / Classical logic / Deontic logic / Intuitionistic logic

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

DocID: 1tY4T - View Document

Delineating the polynomial hierarchy in a fragment of intuitionistic logic via over -focussing Anupam Das ´ Ecole Normale Sup´erieure de Lyon, France

DocID: 1tOf5 - View Document

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

DocID: 1tHxL - View Document

Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

DocID: 1tGsw - View Document