Tag intuitionistic [22 articles] Export

Recent papers classified by the tag intuitionistic.

	Operational interpretations of linear logic [My Copy] Theoretical Computer Science, Vol. 227, No. 1--2. (1999), pp. 231-248. by David N. Turner, Philip Wadler posted to intuitionistic linear-logic type-theory by Scis0000002 on 2009-06-20 08:11:13 as along with 3 people and 1 group dherman tautologico ds NU-PRL
	An Intuitionistic Version of Cantor's Theorem [My Copy] Mathematical Logic Quarterly, Vol. 42, No. 1. (1996), pp. 446-448. by Dario Maguolo, Silvio Valentini posted to intuitionistic type-theory by msakai on 2008-04-17 16:17:49 as
	Intuitionistic proof transformations and their application to constructive program synthesis [My Copy] Artificial Intelligence and Symbolic Computation (1998), pp. 132-144. by Uwe Egly, Stephan Schmitt posted to intuitionistic proof-transformation topos-theory by Scis0000002 on 2007-10-31 21:09:20 as
	Proofs and Types (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 April 1989) by Jean-Yves Girard, Yves Lafont, Paul Taylor posted to curry-howard intuitionistic logic by eporreca on 2007-08-23 11:08:08 as along with 1 person DavidChemouil
	Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) [My Copy] (14 September 2006) by Morten H. Sørensen, Pawel Urzyczyn posted to curry-howard intuitionistic logic by eporreca on 2007-08-23 08:48:42 as
	Matrix-based Constructive Theorem Proving [My Copy] In Intellectics and Computational Logic (2000), pp. 189-205. by Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka posted to theorem proving matrix logic intuitionistic connection by sheila1 to the group complogic on 2007-05-29 01:27:03 as along with 1 person bobsilk
	Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic [My Copy] Logic Jnl IGPL, Vol. 5, No. 1. (1 January 1997), pp. 145-167. by P. Miglioli, U. Moscato, M. Ornaghi posted to tableaux logic intuitionistic duplication by sheila1 to the group complogic on 2007-05-27 19:59:53 as
	Intuitionistic hybrid logic [My Copy] Journal of Applied Logic In Methods for Modalities 3 (M4M-3), Vol. 4, No. 3. (September 2006), pp. 231-255. by Torben Brauner, Valeria de Paiva posted to theory proof logic intuitionistic hybrid by sheila1 to the group complogic on 2007-05-23 14:28:32 as
	On an Intuitionistic Modal Logic [My Copy] Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416. by G. M. Bierman, V. C. V. de Paiva posted to theory proof modal logic intuitionistic by sheila1 to the group complogic on 2007-05-23 14:21:54 as along with 2 people glaubersp kozima
	A judgmental reconstruction of modal logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540. by Frank Pfenning, Rowan Davies posted to theory proof modal logic intuitionistic by sheila1 to the group complogic on 2007-05-23 14:20:58 as
	On the relation between intuitionistic and classical modal logics [My Copy] by Frank Wolter, Michael Zakharyaschev posted to intuitionistic modal-logic by scis0000001 on 2007-04-29 16:54:53 as
	Quantum Logic in Intuitionistic Perspective [My Copy] (22 Apr 2002) by Bob Coecke posted to intuitionistic logic property by mp4man on 2007-04-16 09:49:14 as along with 2 people jrw scis0000001
	Anti-Intuitionism and Paraconsistency [My Copy] by Andreas B. M. Brunner, Walter A. Carnielli posted to anti-intuitionistic intuitionistic paraconsistency by scis0000001 on 2007-03-17 14:02:00 as along with 1 person cangaru
	Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes [My Copy] (6 Aug 1996) by Y. B. Grinkevich posted to category-theory differential-geometry intuitionistic non-standard-analysis nonstandard-analysis synthetic-differential-geometry topos by scis0000001 on 2006-09-28 15:06:10 as
	Martin-Löf's Type Theory [My Copy] by B. Nordström, K. Petersson, J. M. Smith posted to intuitionistic martin-loef martin-lof theory type by kontakte on 2006-02-10 16:42:34 as along with 2 groups Lambda the Ultimate functional programming
	Logic and Structure [My Copy] (15 March 2004) by Dirk van Dalen posted to deduction elementary intuitionistic logic natural by kontakte on 2006-02-10 16:14:21 as along with 1 person BarrosH
	Rewriting properties of combinators for intuitionistic linear logic [My Copy] (1994) by M. Nesi, V. de Paiva, E. Ritter posted to combinators intuitionistic linear logic own by vcvpaiva on 2005-11-19 17:14:25 as
	Categorical and Kripke Semantics for Constructive S4 Modal Logic [My Copy] In Proceedings 15th Int.\ Workshop on Computer Science Logic, CSL'01, Paris, France, 10--13 Sept.\ 2001, Vol. 2142 (2001), pp. 292-307. by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter edited by L. Fribourg posted to intuitionistic logic modal by vcvpaiva on 2005-11-19 16:50:09 as along with 2 people Scis0000002 kozima
	Some new intuitionistic equivalents of Zornâs Lemma [My Copy] Archive for Mathematical Logic, Vol. 42, No. 8. (November 2003), pp. 811-814. by John L. Bell posted to choice intuitionistic izf logic zorns_lemma by greg_restall on 2005-09-06 15:29:06 as
	Star and Perp: Two Treatments of Negation [My Copy] In Philosophical Perspectives (1994), pp. 331-357. by J. Michael Dunn edited by James E. Tomberlin posted to intuitionistic lattice negation philosophical_logic quantum substructural by greg_restall on 2005-03-13 04:15:15 as along with 2 people MichaelDe noam_zeilberger
	Forcing in Proof Theory [My Copy] The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 305-333. by Jeremy Avigad posted to constructive deduction forcing intuitionistic logic prooftheory by greg_restall on 2005-03-13 03:07:52 as along with 2 people and 1 group yoriyuki rzach LogicPhilMath
	Relating Intuitionist Negation and Triviality [My Copy] Logic Journal of the IGPL, Vol. 12, No. 6. (November 2004), 581. by W. d. C. Wagner posted to intuitionistic logic by greg_restall on 2005-03-12 06:50:20 as

Note: You may cite this page as: http://www.citeulike.org/tag/intuitionistic

logic	14
theory	4
modal	3
proof	3
curry-howard	2
deduction	2
lattice	2
type-theory	2
anti-intuitionistic	1
category-theory	1
choice	1
combinators	1
connection	1
constructive	1
differential-geometry	1
duplication	1
elementary	1
forcing	1
hybrid	1
izf	1
linear	1
linear-logic	1
logics	1
martin-loef	1
martin-lof	1
matrix	1
modal-logic	1
natural	1
negation	1
non-standard-analysis	1
nonstandard-analysis	1
own	1
paraconsistency	1
philosophical_logic	1
proof-transformation	1
prooftheory	1
property	1
proving	1
quantum	1
quantum-logic	1
substructural	1
synthetic-differential-geometry	1
tableaux	1
theorem	1
topos	1
topos-theory	1
type	1
zorns_lemma	1

Tag intuitionistic [22 articles] Export

Related Tags