Volume 165; Issue 1

Annals of Pure and Applied Logic

Volume 165; Issue 1
1

Possible world semantics for first-order logic of proofs

Fitting, Melvin
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 717 KB
english, 2014
2

Modeling linear logic with implicit functions

Slavnov, Sergey
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 620 KB
english, 2014
3

Self-referentiality of Brouwer–Heyting–Kolmogorov semantics

Yu, Junhua
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 854 KB
english, 2014
4

The Paradox of the Knower revisited

Dean, Walter, Kurokawa, Hidenori
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 452 KB
english, 2014
5

Symmetry in information flow

Kane, Jeffrey, Naumov, Pavel
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 336 KB
english, 2014
6

Intuitionistic completeness of first-order logic

Constable, Robert, Bickford, Mark
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 521 KB
english, 2014
7

What is relevance logic?

Avron, Arnon
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 388 KB
english, 2014
8

Editorial

Nerode, Anil, Fitting, Melvin
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 111 KB
english, 2014
10

Positive provability logic for uniform reflection principles

Beklemishev, Lev
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 398 KB
english, 2014
11

Relativized ordinal analysis: The case of Power Kripke–Platek set theory

Rathjen, Michael
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 396 KB
english, 2014
12

Introduction to clarithmetic III

Japaridze, Giorgi
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 286 KB
english, 2014
13

Editorial Board

Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 22 KB
english, 2014
14

The life and work of Sergei Artemov

Nerode, Anil, Fitting, Melvin
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 143 KB
english, 2014
15

The Logic of Uncertain Justifications

Milnikel, Robert S.
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 280 KB
english, 2014
16

Proof internalization in generalized Frege systems for classical logic

Savateev, Yury
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 300 KB
english, 2014
17

Hybrid Answer Set Programming

Brik, Alex, Remmel, Jeffrey
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 452 KB
english, 2014
18

Contents

Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 116 KB
english, 2014
20

Fluctuations, effective learnability and metastability in analysis

Kohlenbach, Ulrich, Safarik, Pavol
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 551 KB
english, 2014
21

Logical omniscience as infeasibility

Artemov, Sergei, Kuznets, Roman
Journal:
Annals of Pure and Applied Logic
Year:
2014
Language:
english
File:
PDF, 339 KB
english, 2014