Search dblp for Publications

export results for "toc:db/journals/synthese/synthese134.bht:"

 download as .bib file

@article{DBLP:journals/synthese/Aliseda-Llera03,
  author       = {Atocha Aliseda{-}Llera},
  title        = {Mathematical Reasoning Vs. Abductive Reasoning: {A} Structural Approach},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {25--44},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022127429205},
  doi          = {10.1023/A:1022127429205},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Aliseda-Llera03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Alvarez03,
  author       = {Carlos Alvarez},
  title        = {Two Ways of Reasoning and Two Ways of Arguing in Geometry. Some Remarks
                  Concerning the Application of Figures in Euclidean Geometry},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {289--323},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022100100980},
  doi          = {10.1023/A:1022100100980},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Alvarez03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/ArboledaR03,
  author       = {Luis Carlos Arboleda and
                  Luis Cornelio Recalde},
  title        = {Fr{\'{e}}chet and the Logic of the Constitution of Abstract Spaces
                  from Concrete Reality},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {245--272},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022195800071},
  doi          = {10.1023/A:1022195800071},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/ArboledaR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Cogburn03,
  author       = {Jon Cogburn},
  title        = {Manifest Invalidity: Neil Tennant's New Argument for Intuitionism},
  journal      = {Synth.},
  volume       = {134},
  number       = {3},
  pages        = {353--362},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022921622763},
  doi          = {10.1023/A:1022921622763},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Cogburn03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Drai03,
  author       = {Dalia Drai},
  title        = {Externalism and Identity},
  journal      = {Synth.},
  volume       = {134},
  number       = {3},
  pages        = {463--475},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022915720037},
  doi          = {10.1023/A:1022915720037},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Drai03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Fallis03,
  author       = {Don Fallis},
  title        = {Intentional Gaps In Mathematical Proofs},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {45--69},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022131513275},
  doi          = {10.1023/A:1022131513275},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Fallis03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Finocchiaro03,
  author       = {Maurice A. Finocchiaro},
  title        = {Physical-Mathematical Reasoning: Galileo on the Extruding Power of
                  Terrestrial Rotation},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {217--244},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022143816001},
  doi          = {10.1023/A:1022143816001},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Finocchiaro03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Gardies03,
  author       = {Jean Louis Gardies},
  title        = {Do Mathematical Constructions Escape Logic?},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {3--24},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022148016910},
  doi          = {10.1023/A:1022148016910},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Gardies03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Kriegel03,
  author       = {Uriah Kriegel},
  title        = {Consciousness, Higher-Order Content, and the Individuation of Vehicles},
  journal      = {Synth.},
  volume       = {134},
  number       = {3},
  pages        = {477--504},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022913321854},
  doi          = {10.1023/A:1022913321854},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Kriegel03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Lacki03,
  author       = {Jan Lacki},
  title        = {Styles of Physical Thinking Versus Mathematical Ones},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {273--288},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022175328296},
  doi          = {10.1023/A:1022175328296},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Lacki03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Longo03,
  author       = {Giuseppe Longo},
  title        = {Proofs and Programs},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {85--117},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022135614184},
  doi          = {10.1023/A:1022135614184},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Longo03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/LutzG03,
  author       = {Robert Lutz and
                  Luis Gonzaga Luis Gonzaga},
  title        = {Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning
                  in Analysis},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {325--351},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022152117818},
  doi          = {10.1023/A:1022152117818},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/LutzG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Martin03,
  author       = {John Neil Martin},
  title        = {All Brutes are Subhuman: Aristotle and Ockham on Private Negation},
  journal      = {Synth.},
  volume       = {134},
  number       = {3},
  pages        = {429--461},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022934709521},
  doi          = {10.1023/A:1022934709521},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Martin03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Muntersbjorn03,
  author       = {Madeline Muntersbjorn},
  title        = {Representational Innovation and Mathematical Ontology},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {159--180},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022139715092},
  doi          = {10.1023/A:1022139715092},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Muntersbjorn03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Otte03,
  author       = {Michael Otte},
  title        = {Does Mathematics Have Objects? in what Sense?},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {181--216},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022191731931},
  doi          = {10.1023/A:1022191731931},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Otte03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Panza03,
  author       = {Marco Panza},
  title        = {Mathematical Proofs},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {119--158},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022187631022},
  doi          = {10.1023/A:1022187631022},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Panza03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Paoli03,
  author       = {Francesco Paoli},
  title        = {A Really Fuzzy Approach to the Sorites Paradox},
  journal      = {Synth.},
  volume       = {134},
  number       = {3},
  pages        = {363--387},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022995202767},
  doi          = {10.1023/A:1022995202767},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Paoli03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Wisniewski03,
  author       = {Andrzej Wisniewski},
  title        = {Erotetic Search Scenarios},
  journal      = {Synth.},
  volume       = {134},
  number       = {3},
  pages        = {389--427},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022983325118},
  doi          = {10.1023/A:1022983325118},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/synthese/Wisniewski03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/WomachF03,
  author       = {Catherine Womach and
                  Martin Farach},
  title        = {Randomization, Persuasiveness and Rigor in Proofs},
  journal      = {Synth.},
  volume       = {134},
  number       = {1-2},
  pages        = {71--84},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022183530114},
  doi          = {10.1023/A:1022183530114},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/WomachF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics