1. Infon Logic Based On Constructive Logic

Logique Et Analyse 49 (2006)
  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,349

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

A Variant of Thomason's First-Order Logic CF Based on Situations.Xuegang Wang & Peter Mott - 1998 - Notre Dame Journal of Formal Logic 39 (1):74-93.
Transitive primal infon logic.Carlos Cotrini & Yuri Gurevich - 2013 - Review of Symbolic Logic 6 (2):281-304.
Curry's paradox in contractionless constructive logic.Akama Seiki - 1996 - Journal of Philosophical Logic 25 (2):135 - 150.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Constructive predicate logic with strong negation and model theory.Seiki Akama - 1987 - Notre Dame Journal of Formal Logic 29 (1):18-27.
A Constructive Valuation Semantics for Classical Logic.Franco Barbanera & Stefano Berardi - 1996 - Notre Dame Journal of Formal Logic 37 (3):462-482.
Transitive Primal Infon Logic–ERRATUM.C. Cotrini & Y. Gurevich - 2013 - Review of Symbolic Logic 6 (2):366-366.
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.
A solution to the surprise exam paradox in constructive mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Review of Symbolic Logic 5 (4):679-686.
A Type Theory With Mixed Constructivity And Assignments.James Sasaki - 1997 - Logic Journal of the IGPL 5 (3):67-104.
Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
On Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
Constructive discursive logic with strong negation.Seiki Akama, Jair Minoro Abe & Kazumi Nakamatsu - 2011 - Logique Et Analyse 54 (215):395-408.
Review: S. C. Kleene, Mathematical Logic: Constructive and Non-Constructive Operations. [REVIEW]Julia Robinson - 1962 - Journal of Symbolic Logic 27 (1):78-78.
Towards applied theories based on computability logic.Giorgi Japaridze - 2010 - Journal of Symbolic Logic 75 (2):565-601.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

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

Citations of this work

Add more citations

References found in this work

No references found.

Add more references