The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for intuitionism with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1998 (15) 2000-2012 (18) 2013-2022 (7)
Publication types (Num. hits)
article(30) incollection(5) inproceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 9 keywords

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