Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Stefano Berardi, Makoto Tatsuta |
Positive Arithmetic Without Exchange Is a Subclassical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 271-285, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Guoping Du, Hongguang Wang, Jie Shen |
Oppositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, pp. 319, 2009, Springer, 978-3-642-04892-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
oppositional logic, intuitionism, negation, paraconsistent |
33 | John Nolt |
Reference and perspective in intuitionistic logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 16(1), pp. 91-115, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 87(2), pp. 437-497, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Susanne Bobzien, Ian Rumfitt |
Intuitionism and the Modal Logic of Vagueness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 49(2), pp. 221-248, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Saeed Salehi |
From Intuitionism to Many-Valued Logics through Kripke Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.09016, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Sergei D. Meshveliani |
On dependent types and intuitionism in programming mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.01810, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Vincent Rahli, Mark Bickford |
A nominal exploration of intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 130-141, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Brian Besong |
Moral intuitionism and disagreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 191(12), pp. 2767-2789, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Christina Weiss |
Comment: From Time Intuition to Diagrammatic Forms-Intuitionism and Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cybern. Hum. Knowing ![In: Cybern. Hum. Knowing 20(3-4), pp. 149-162, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
28 | Nik Weaver |
Intuitionism and the liar paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(10), pp. 1437-1445, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Kojiro Higuchi |
Effectively closed mass problems and intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(6), pp. 693-697, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Dag Prawitz |
Truth and Proof in Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Epistemology versus Ontology ![In: Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, pp. 45-67, 2012, Springer, 978-94-007-4434-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Philosophy and Cognitive Science ![In: Philosophy and Cognitive Science - Western & Eastern Studies, pp. 239-262, 2012, Springer, 978-3-642-29927-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Jean Paul Van Bendegem |
One Hundred Years of Intuitionism (1907-2007). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 97(3), pp. 421-425, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Zoran Majkic |
Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 14(6), pp. 525-564, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Stephen G. Simpson |
Mass Problems and Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 49(2), pp. 127-136, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Carl J. Posy |
Intuitionism and Philosophy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Philosophy of Mathematics and Logic ![In: The Oxford Handbook of Philosophy of Mathematics and Logic., pp. 318-355, 2007, Oxford University Press, 978-0-19-532592-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Roy Cook |
Intuitionism Reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Philosophy of Mathematics and Logic ![In: The Oxford Handbook of Philosophy of Mathematics and Logic., pp. 387-411, 2007, Oxford University Press, 978-0-19-532592-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | David Charles McCarty |
Intuitionism in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Philosophy of Mathematics and Logic ![In: The Oxford Handbook of Philosophy of Mathematics and Logic., pp. 356-386, 2007, Oxford University Press, 978-0-19-532592-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Dirk Schlimm |
Against Against Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 147(1), pp. 171-188, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Bernhard Michael Brunner, Walter Alexandre Carnielli |
Anti-intuitionism and paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 3(1), pp. 161-184, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jon Cogburn |
Manifest Invalidity: Neil Tennant's New Argument for Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 134(3), pp. 353-362, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Gerald Lüttgen, Michael Mendler |
The intuitionism behind Statecharts steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(1), pp. 1-41, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics |
28 | Dirk van Dalen |
Brouwer and Fraenkel on intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 6(3), pp. 284-310, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Enrico Martino |
Negationless intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 27(2), pp. 165-177, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Dirk van Dalen |
L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998, pp. 228-241, 1998, IEEE Computer Society, 0-8186-8506-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Dirk van Dalen |
Intuitionism - Counting its Blessings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linear Logic Tokyo Meeting ![In: Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996, pp. 39, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Yaroslav Shramko |
Review of Walter P. van Stigt: Brouwer's Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(3), pp. 292-295, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Andrea Masini |
2-Sequent Calculus: Intuitionism and Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 3(5), pp. 533-562, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Alexander George |
The conveyability of intuitionism, an essay on mathematical cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 17(2), pp. 133-156, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Charles McCarty |
Variations on a thesis: intuitionism and computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 28(4), pp. 536-580, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Hugues Leblanc, Charles G. Morgan |
Probability theory, intuitionism, semantics, and the Dutch book argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 24(3), pp. 289-304, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
28 | William W. Tait |
Against intuitionism: Constructive mathematics is part of classical mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 12(2), pp. 173-195, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
28 | Charles McCarty |
Intuitionism: An introduction to a seminar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 12(2), pp. 105-149, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
28 | W. Gielen, Harrie C. M. de Swart, Wim Veldman |
The Continuum Hypothesis in Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 46(1), pp. 121-136, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
28 | E. G. K. López-Escobar |
Equivalence Between Semantics for Intuitionism. I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 46(4), pp. 773-780, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
28 | H. C. M. Swart, Carl J. Posy |
Validity and quantification in intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 10(1), pp. 117-126, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
28 | Sabine Gornemann |
A Logic Stronger Than Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 36(2), pp. 249-261, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
28 | Nuel D. Belnap Jr., Hugues Leblanc |
Intuitionism reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 3(2), pp. 79-82, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|