Search results for "intuitionism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Stefano Berardi, Makoto Tatsuta	Positive Arithmetic Without Exchange Is a Subclassical Logic.	APLAS	2007	DBLP DOI BibTeX RDF
33	Guoping Du, Hongguang Wang, Jie Shen	Oppositional Logic.	LORI	2009	DBLP DOI BibTeX RDF	oppositional logic, intuitionism, negation, paraconsistent
33	John Nolt	Reference and perspective in intuitionistic logics.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Intuitionism, Constructivism, Intuitionistic logic, Reference, Kripke semantics
28	Takako Nemoto, Sato Kentaro	A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic.	J. Symb. Log.	2022	DBLP DOI BibTeX RDF
28	Susanne Bobzien, Ian Rumfitt	Intuitionism and the Modal Logic of Vagueness.	J. Philos. Log.	2020	DBLP DOI BibTeX RDF
28	Saeed Salehi	From Intuitionism to Many-Valued Logics through Kripke Models.	CoRR	2020	DBLP BibTeX RDF
28	Sergei D. Meshveliani	On dependent types and intuitionism in programming mathematics.	CoRR	2017	DBLP BibTeX RDF
28	Vincent Rahli, Mark Bickford	A nominal exploration of intuitionism.	CPP	2016	DBLP DOI BibTeX RDF
28	Brian Besong	Moral intuitionism and disagreement.	Synth.	2014	DBLP DOI BibTeX RDF
28	Christina Weiss	Comment: From Time Intuition to Diagrammatic Forms-Intuitionism and Formalism.	Cybern. Hum. Knowing	2013	DBLP BibTeX RDF
28	Nik Weaver	Intuitionism and the liar paradox.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
28	Kojiro Higuchi	Effectively closed mass problems and intuitionism.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
28	Dag Prawitz	Truth and Proof in Intuitionism.	Epistemology versus Ontology	2012	DBLP DOI BibTeX RDF
28	Sara Dellantonio, Remo Job	Moral Intuitions vs. Moral Reasoning. A Philosophical Analysis of the Explanatory Models Intuitionism Relies On.	Philosophy and Cognitive Science	2012	DBLP DOI BibTeX RDF
28	Jean Paul Van Bendegem	One Hundred Years of Intuitionism (1907-2007).	Stud Logica	2011	DBLP DOI BibTeX RDF
28	Zoran Majkic	Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations.	J. Multiple Valued Log. Soft Comput.	2008	DBLP BibTeX RDF
28	Stephen G. Simpson	Mass Problems and Intuitionism.	Notre Dame J. Formal Log.	2008	DBLP DOI BibTeX RDF
28	Carl J. Posy	Intuitionism and Philosophy.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
28	Roy Cook	Intuitionism Reconsidered.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
28	David Charles McCarty	Intuitionism in Mathematics.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
28	Dirk Schlimm	Against Against Intuitionism.	Synth.	2005	DBLP DOI BibTeX RDF
28	Andreas Bernhard Michael Brunner, Walter Alexandre Carnielli	Anti-intuitionism and paraconsistency.	J. Appl. Log.	2005	DBLP DOI BibTeX RDF
28	Jon Cogburn	Manifest Invalidity: Neil Tennant's New Argument for Intuitionism.	Synth.	2003	DBLP DOI BibTeX RDF
28	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
28	Dirk van Dalen	Brouwer and Fraenkel on intuitionism.	Bull. Symb. Log.	2000	DBLP DOI BibTeX RDF
28	Enrico Martino	Negationless intuitionism.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
28	Dirk van Dalen	L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments.	LICS	1998	DBLP DOI BibTeX RDF
28	Dirk van Dalen	Intuitionism - Counting its Blessings.	Linear Logic Tokyo Meeting	1996	DBLP DOI BibTeX RDF
28	Yaroslav Shramko	Review of Walter P. van Stigt: Brouwer's Intuitionism.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
28	Andrea Masini	2-Sequent Calculus: Intuitionism and Natural Deduction.	J. Log. Comput.	1993	DBLP DOI BibTeX RDF
28	Alexander George	The conveyability of intuitionism, an essay on mathematical cognition.	J. Philos. Log.	1988	DBLP DOI BibTeX RDF
28	Charles McCarty	Variations on a thesis: intuitionism and computability.	Notre Dame J. Formal Log.	1987	DBLP DOI BibTeX RDF
28	Hugues Leblanc, Charles G. Morgan	Probability theory, intuitionism, semantics, and the Dutch book argument.	Notre Dame J. Formal Log.	1983	DBLP DOI BibTeX RDF
28	William W. Tait	Against intuitionism: Constructive mathematics is part of classical mathematics.	J. Philos. Log.	1983	DBLP DOI BibTeX RDF
28	Charles McCarty	Intuitionism: An introduction to a seminar.	J. Philos. Log.	1983	DBLP DOI BibTeX RDF
28	W. Gielen, Harrie C. M. de Swart, Wim Veldman	The Continuum Hypothesis in Intuitionism.	J. Symb. Log.	1981	DBLP DOI BibTeX RDF
28	E. G. K. López-Escobar	Equivalence Between Semantics for Intuitionism. I.	J. Symb. Log.	1981	DBLP DOI BibTeX RDF
28	H. C. M. Swart, Carl J. Posy	Validity and quantification in intuitionism.	J. Philos. Log.	1981	DBLP DOI BibTeX RDF
28	Sabine Gornemann	A Logic Stronger Than Intuitionism.	J. Symb. Log.	1971	DBLP DOI BibTeX RDF
28	Nuel D. Belnap Jr., Hugues Leblanc	Intuitionism reconsidered.	Notre Dame J. Formal Log.	1962	DBLP DOI BibTeX RDF