default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrea Cantini
@article{DBLP:journals/mlq/Cantini20,
author = {Andrea Cantini},
title = {A fixed point theory over stratified truth},
journal = {Math. Log. Q.},
volume = {66},
number = {4},
pages = {380--394},
year = {2020},
url = {https://doi.org/10.1002/malq.201900064},
doi = {10.1002/MALQ.201900064},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/PardiniCKPL14,
author = {Matteo Pardini and
Andrea Cantini and
Florian Kugler and
Konstantinos Papathanassiou and
Fabrizio Lombardini},
title = {Monitoring dynamics in time of forest vertical structure with multibaseline
PolInSAR data},
booktitle = {2014 {IEEE} Geoscience and Remote Sensing Symposium, {IGARSS} 2014,
Quebec City, QC, Canada, July 13-18, 2014},
pages = {3366--3369},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IGARSS.2014.6947202},
doi = {10.1109/IGARSS.2014.6947202},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/PardiniCKPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cantini11,
author = {Andrea Cantini},
title = {Extending constructive operational set theory by impredicative principles},
journal = {Math. Log. Q.},
volume = {57},
number = {3},
pages = {299--322},
year = {2011},
url = {https://doi.org/10.1002/malq.201010009},
doi = {10.1002/MALQ.201010009},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Cantini09,
author = {Andrea Cantini},
editor = {Dov M. Gabbay and
John Woods},
title = {Paradoxes, Self-Reference and Truth in the 20th Century},
booktitle = {Logic from Russell to Church},
series = {Handbook of the History of Logic},
volume = {5},
pages = {875--1013},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/S1874-5857(09)70020-2},
doi = {10.1016/S1874-5857(09)70020-2},
timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
biburl = {https://dblp.org/rec/series/hhl/Cantini09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Cantini05,
author = {Andrea Cantini},
title = {Remarks on applicative theories},
journal = {Ann. Pure Appl. Log.},
volume = {136},
number = {1-2},
pages = {91--115},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2005.05.007},
doi = {10.1016/J.APAL.2005.05.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Cantini05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CantiniG04,
author = {Andrea Cantini and
Valentin Goranko},
title = {Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution";
Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic",
Cambridge Tracts in Theoretical Computer Science Volume 53},
journal = {Stud Logica},
volume = {76},
number = {1},
pages = {135--142},
year = {2004},
url = {https://doi.org/10.1023/B:STUD.0000027550.80518.77},
doi = {10.1023/B:STUD.0000027550.80518.77},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/CantiniG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cantini03,
author = {Andrea Cantini},
title = {The axiom of choice and combinatory logic},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1091--1108},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620175},
doi = {10.2178/JSL/1067620175},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cantini03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Cantini03,
author = {Andrea Cantini},
title = {The Undecidability of Grisin's Set Theory},
journal = {Stud Logica},
volume = {74},
number = {3},
pages = {345--368},
year = {2003},
url = {https://doi.org/10.1023/A:1025159016268},
doi = {10.1023/A:1025159016268},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Cantini03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cantini02,
author = {Andrea Cantini},
title = {Polytime, combinatory logic and positive safe induction},
journal = {Arch. Math. Log.},
volume = {41},
number = {2},
pages = {169--189},
year = {2002},
url = {https://doi.org/10.1007/s001530100105},
doi = {10.1007/S001530100105},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cantini02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cantini00,
author = {Andrea Cantini},
title = {Feasible Operations and Applicative Theories Based on lambda-eta},
journal = {Math. Log. Q.},
volume = {46},
number = {3},
pages = {291--312},
year = {2000},
url = {https://doi.org/10.1002/1521-3870(200008)46:3\&\#60;291::AID-MALQ291\&\#62;3.0.CO;2-T},
doi = {10.1002/1521-3870(200008)46:3\&\#60;291::AID-MALQ291\&\#62;3.0.CO;2-T},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CantiniM99,
author = {Andrea Cantini and
Pierluigi Minari},
title = {Uniform Inseparability in Explicit Mathematics},
journal = {J. Symb. Log.},
volume = {64},
number = {1},
pages = {313--326},
year = {1999},
url = {https://doi.org/10.2307/2586767},
doi = {10.2307/2586767},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CantiniM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Cantini99,
author = {Andrea Cantini},
title = {Relating Quine's {NF} to Feferman's {EM}},
journal = {Stud Logica},
volume = {62},
number = {2},
pages = {141--162},
year = {1999},
url = {https://doi.org/10.1023/A:1026495301622},
doi = {10.1023/A:1026495301622},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Cantini99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0000766,
author = {Andrea Cantini},
title = {Logical frameworks for truth and abstraction - an axiomatic study},
series = {Studies in logic and the foundations of mathematics},
volume = {135},
publisher = {Elsevier},
year = {1996},
isbn = {978-0-444-82306-9},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0000766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cantini96,
author = {Andrea Cantini},
title = {Asymmetric Interpretations for Bounded Theories},
journal = {Math. Log. Q.},
volume = {42},
pages = {270--288},
year = {1996},
url = {https://doi.org/10.1002/malq.19960420123},
doi = {10.1002/MALQ.19960420123},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cantini95,
author = {Andrea Cantini},
title = {Levels of Truth},
journal = {Notre Dame J. Formal Log.},
volume = {36},
number = {2},
pages = {185--213},
year = {1995},
url = {https://doi.org/10.1305/ndjfl/1040248454},
doi = {10.1305/NDJFL/1040248454},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cantini95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cantini93,
author = {Andrea Cantini},
title = {Extending the First-Order Theory of Combinators with Self-Referential
Truth},
journal = {J. Symb. Log.},
volume = {58},
number = {2},
pages = {477--513},
year = {1993},
url = {https://doi.org/10.2307/2275216},
doi = {10.2307/2275216},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cantini93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cantini92,
author = {Andrea Cantini},
title = {Levels of Implication and Type Free Theories of Classifications with
Approximation Operator},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {107--141},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380109},
doi = {10.1002/MALQ.19920380109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cantini91,
author = {Andrea Cantini},
title = {A logic of abstraction related to finite constructive number classes},
journal = {Arch. Math. Log.},
volume = {31},
number = {1},
pages = {69--83},
year = {1991},
url = {https://doi.org/10.1007/BF01370695},
doi = {10.1007/BF01370695},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cantini91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cantini90,
author = {Andrea Cantini},
title = {A Theory of Formal Truth Arithmetically Equivalent to ID\({}_{\mbox{1}}\)},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {244--259},
year = {1990},
url = {https://doi.org/10.2307/2274965},
doi = {10.2307/2274965},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cantini90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cantini89,
author = {Andrea Cantini},
title = {Notes on Formal Theories of Truth},
journal = {Math. Log. Q.},
volume = {35},
number = {2},
pages = {97--130},
year = {1989},
url = {https://doi.org/10.1002/malq.19890350202},
doi = {10.1002/MALQ.19890350202},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cantini88,
author = {Andrea Cantini},
title = {Two Impredicative Theories of Properties and Sets},
journal = {Math. Log. Q.},
volume = {34},
number = {5},
pages = {403--420},
year = {1988},
url = {https://doi.org/10.1002/malq.19880340505},
doi = {10.1002/MALQ.19880340505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cantini86,
author = {Andrea Cantini},
title = {On the Relation Between Choice and Comprehension Principles in Second
Order Arithmetic},
journal = {J. Symb. Log.},
volume = {51},
number = {2},
pages = {360--373},
year = {1986},
url = {https://doi.org/10.1017/S0022481200031224},
doi = {10.1017/S0022481200031224},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cantini86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cantini85,
author = {Andrea Cantini},
title = {Majorizing provably recursive functions in fragments of {PA}},
journal = {Arch. Math. Log.},
volume = {25},
number = {1},
pages = {21--31},
year = {1985},
url = {https://doi.org/10.1007/BF02007552},
doi = {10.1007/BF02007552},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cantini85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cantini85,
author = {Andrea Cantini},
title = {On Weak Theories of Sets and Classes which are Based on Strict {\(\prod\)}},
journal = {Math. Log. Q.},
volume = {31},
number = {21-23},
pages = {321--332},
year = {1985},
url = {https://doi.org/10.1002/malq.19850312102},
doi = {10.1002/MALQ.19850312102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cantini85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
