Volume 12; Issue 1

Journal of Applied Logic

Volume 12; Issue 1
1

Natural language semantics in biproduct dagger categories

Preller, Anne
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 523 KB
english, 2014
2

Selectional restrictions, types and categories

Asher, Nicholas
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 303 KB
english, 2014
3

Relational semantics for full linear logic

Coumans, Dion, Gehrke, Mai, van Rooijen, Lorijn
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 339 KB
english, 2014
4

Continuity and geometric logic

Vickers, Steven
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 294 KB
english, 2014
5

Editorial Board

Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 46 KB
english, 2014
6

Formal Ontologies and Coherent Spaces

Abrusci, V. Michele, Fouqueré, Christophe, Romano, Marco
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 191 KB
english, 2014
7

Modeling Martin-Löf type theory in categories

Lamarche, François
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 329 KB
english, 2014
8

A model of type theory in simplicial sets

Streicher, T.
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 275 KB
english, 2014
9

Category theory, logic and formal linguistics: Some connections, old and new

Gillibert, Jean, Retoré, Christian
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 324 KB
english, 2014