Separating the basic logics of the basic recurrences

Annals of Pure and Applied Logic 163 (3):377-389 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.11.009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
Don’t Give Up on Basic Emotions.Andrea Scarantino & Paul Griffiths - 2011 - Emotion Review 3 (4):444-454.
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
Basic logic: Reflection, symmetry, visibility.Giovanni Sambin, Giulia Battilotti & Claudia Faggian - 2000 - Journal of Symbolic Logic 65 (3):979-1013.
The basic constructive logic for absolute consistency.José M. Méndez & Gemma Robles - 2009 - Journal of Logic, Language and Information 18 (2):199-216.
Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
The basic constructive logic for a weak sense of consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
Basic tastes and basic emotions: Basic problems and perspectives for a nonbasic solution.David Sander - 2008 - Behavioral and Brain Sciences 31 (1):88-88.
The taming of recurrences in computability logic through cirquent calculus, Part II.Giorgi Japaridze - 2013 - Archive for Mathematical Logic 52 (1-2):213-259.
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.
On the Non-instrumental Value of Basic Rights.Rowan Cruft - 2010 - Journal of Moral Philosophy 7 (4):441-461.

Analytics

Added to PP
2013-10-27

Downloads
33 (#459,370)

6 months
11 (#196,102)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Parallel versus Branching Recurrences in Computability Logic.Wenyan Xu & Sanyang Liu - 2013 - Notre Dame Journal of Formal Logic 54 (1):61-78.

Add more citations

References found in this work

A game semantics for linear logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.
Introduction to computability logic.Giorgi Japaridze - 2003 - Annals of Pure and Applied Logic 123 (1-3):1-99.
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.
The Logic of Interactive Turing Reduction.Giorgi Japaridze - 2007 - Journal of Symbolic Logic 72 (1):243 - 276.
Towards applied theories based on computability logic.Giorgi Japaridze - 2010 - Journal of Symbolic Logic 75 (2):565-601.

View all 7 references / Add more references