Intutionistic Propositional Logic with the Converse Ackerman Poperty

Teorema: International Journal of Philosophy 22 (1-2):46-54 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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 Property and Minimal Negation.G. Robles & J. MÉndez - 2005 - Teorema: International Journal of Philosophy 24 (1).
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4.Gemma Robles & José M. Méndez - 2024 - Logic Journal of the IGPL 32 (3):572-572.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Who can have propositional attitudes?Oscar Horta - 2010 - Teorema: International Journal of Philosophy 29 (2):55-68.
A set of axioms for the propositional calculus with implication and converse non-implication.Anjan Shukla - 1965 - Notre Dame Journal of Formal Logic 6 (2):123-128.
Ackerman on propositional identity.Rod Bertolet - 1984 - Philosophical Quarterly 34 (137):499-504.
Eliminating “converse” from converse PDL.Giuseppe Giacomo - 1996 - Journal of Logic, Language and Information 5 (2):193-208.
Logic with trees.Gustavo Fernández Díez - 1999 - Teorema: International Journal of Philosophy 18 (2):101-110.

Analytics

Added to PP
2014-01-18

Downloads
11 (#1,417,674)

6 months
11 (#343,210)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gemma Robles
Universidad de León

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references