partowp
111 lines
3.1 KiB
BibTeX
111 lines
3.1 KiB
BibTeX
@article{amir,
|
||
title = {Implication via Spacetime},
|
||
author = {Tabatabai, Amirhossein Akbar},
|
||
journal = {Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir},
|
||
volume = {49},
|
||
pages = {161},
|
||
year = {2021},
|
||
publisher = {Springer Nature}
|
||
}
|
||
|
||
@phdthesis{ardeshir1995aspects,
|
||
title = {Aspects of basic logic},
|
||
author = {Ardeshir, Mohammad},
|
||
year = {1995},
|
||
school = {Marquette University}
|
||
}
|
||
|
||
@article{celani2001closer,
|
||
title = {A closer look at some subintuitionistic logics},
|
||
author = {Celani, Sergio and Jansana, Ramon},
|
||
journal = {Notre Dame Journal of Formal Logic},
|
||
volume = {42},
|
||
number = {4},
|
||
pages = {225--255},
|
||
year = {2001},
|
||
publisher = {Duke University Press}
|
||
}
|
||
|
||
@incollection{DBLP:books/ox/07/Feferman07,
|
||
author = {Solomon Feferman},
|
||
editor = {Stewart Shapiro},
|
||
title = {Predicativity},
|
||
booktitle = {The Oxford Handbook of Philosophy of Mathematics and Logic},
|
||
series = {Oxford handbooks in philosophy},
|
||
pages = {590--624},
|
||
publisher = {Oxford University Press},
|
||
year = {2007},
|
||
timestamp = {Wed, 06 May 2020 15:26:14 +0200},
|
||
biburl = {https://dblp.org/rec/books/ox/07/Feferman07.bib},
|
||
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||
}
|
||
|
||
@incollection{dovsen1993modal,
|
||
title = {Modal translations in K and D},
|
||
author = {Do{\v{s}}en, Kosta},
|
||
booktitle = {Diamonds and defaults},
|
||
pages = {103--127},
|
||
year = {1993},
|
||
publisher = {Springer}
|
||
}
|
||
|
||
@article{feferman2007predicativity,
|
||
title = {Predicativity},
|
||
author = {Feferman, Solomon},
|
||
year = {2007},
|
||
publisher = {Citeseer}
|
||
}
|
||
|
||
@incollection{Kennedy2009-KENOGL,
|
||
editor = {Dov Gabbay},
|
||
title = {On {G}\"odel's Logic},
|
||
year = {2009},
|
||
author = {Juliette Kennedy and Mark van Atten},
|
||
booktitle = {The Handbook of the History of Logic},
|
||
publisher = {Elsevier}
|
||
}
|
||
|
||
@article{mckinsey1944algebra,
|
||
title = {The algebra of topology},
|
||
author = {McKinsey, John Charles Chenoweth and Tarski, Alfred},
|
||
journal = {Annals of mathematics},
|
||
pages = {141--191},
|
||
year = {1944},
|
||
publisher = {JSTOR}
|
||
}
|
||
|
||
@article{tabatabai2017geometric,
|
||
title = {Geometric modality and weak exponentials},
|
||
author = {Tabatabai, Amirhossein Akbar},
|
||
journal = {arXiv preprint arXiv:1711.01736},
|
||
year = {2017}
|
||
}
|
||
|
||
@article{van2001,
|
||
title = {Intuitionistic Logic},
|
||
author = {Dirk van Dalen},
|
||
journal = {The Blackwell Guide to Philosophica Logic},
|
||
editor = {L. Gobble. Blackwell},
|
||
publisher = {Blackwell},
|
||
year = {2001},
|
||
pages = {224–257}
|
||
}
|
||
|
||
@article{van2017predicativity,
|
||
title = {Predicativity and parametric polymorphism of Brouwerian implication},
|
||
author = {van Atten, Mark},
|
||
journal = {arXiv preprint arXiv:1710.07704},
|
||
year = {2017}
|
||
}
|
||
|
||
@article{russell1908mathematical,
|
||
title={Mathematical logic as based on the theory of types},
|
||
author={Russell, Bertrand},
|
||
journal={American journal of mathematics},
|
||
volume={30},
|
||
number={3},
|
||
pages={222--262},
|
||
year={1908},
|
||
publisher={JSTOR}
|
||
}
|