Systems with the converse Ackermann property

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (1):253-258 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Converse Ackermann croperty and semiclassical negation.José M. Méndez - 1988 - Studia Logica 47 (2):159 - 168.
Converse Ackermann property and constructive negation defined with a negation connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.
A Routley-Meyer semantics for converse Ackermann property.José M. Méndez - 1987 - Journal of Philosophical Logic 16 (1):65 - 76.
A Routley-Meyer Semantics For Converse Ackermann Property.Jose A. Mendez - 1987 - Journal of Philosophical Logic 16 (February):65-76.
Restricting the contraction axiom in Dummett's LC: a sublogic of LC with the Converse Ackermann Property, the logic LCo.Francisco Salto, José M. Méndez & Gemma Robles - 2001 - Bulletin of the Section of Logic 30 (3):139-146.
A modal restriction of R-Mingle with the variable-sharing property.Gemma Robles, José M. Méndez & Francisco Salto - 2010 - Logic and Logical Philosophy 19 (4):341-351.
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2011 - Logic Journal of the IGPL 19 (1):18-32.
Constructival plasticity.Ronald P. Endicott - 1994 - Philosophical Studies 74 (1):51-75.
A Correspondence Theory of Exemplification.Keith Hossack - 2013 - Axiomathes 23 (2):365-380.
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
A free IPC is a natural logic: Strong completeness for some intuitionistic free logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.
Two extensions of Lewis' s3 with Peirce's law.Francisco Salto & José M. Méndez - 1999 - Theoria 14 (3):407-411.
Sentential constants in systems near R.John Slaney - 1993 - Studia Logica 52 (3):443 - 455.
The Ackermann functions are not optimal, but by how much?H. Simmons - 2010 - Journal of Symbolic Logic 75 (1):289-313.

Analytics

Added to PP
2013-12-01

Downloads
1 (#1,859,155)

6 months
1 (#1,428,112)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references