default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Silvio Valentini
@article{DBLP:journals/mlq/Valentini17,
author = {Silvio Valentini},
title = {Generalising the fan theorem},
journal = {Math. Log. Q.},
volume = {63},
number = {1-2},
pages = {85--93},
year = {2017},
url = {https://doi.org/10.1002/malq.201500016},
doi = {10.1002/MALQ.201500016},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/AccotoVPG15,
author = {Dino Accoto and
Silvio Valentini and
Iacopo Portaccio and
Eugenio Guglielmelli},
title = {A theoretical framework for studying the electromagnetic stimulation
of nervous tissue},
booktitle = {37th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
2015},
pages = {2079--2082},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMBC.2015.7318797},
doi = {10.1109/EMBC.2015.7318797},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/embc/AccotoVPG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Valentini13,
author = {Silvio Valentini},
title = {Cantor theorem and friends, in logical form},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {4},
pages = {502--508},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.10.011},
doi = {10.1016/J.APAL.2012.10.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Valentini13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Valentini12,
author = {Silvio Valentini},
title = {Independence results in formal topology},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {2},
pages = {151--156},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.06.023},
doi = {10.1016/J.APAL.2011.06.023},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Valentini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Valentini12,
author = {Silvio Valentini},
title = {Relative formal topology: the binary positivity predicate comes first},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {1},
pages = {69--102},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000466},
doi = {10.1017/S0960129511000466},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Valentini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BonioloV12,
author = {Giovanni Boniolo and
Silvio Valentini},
title = {Objects: {A} Study in Kantian Formal Epistemology},
journal = {Notre Dame J. Formal Log.},
volume = {53},
number = {4},
pages = {457--478},
year = {2012},
url = {https://doi.org/10.1215/00294527-1722701},
doi = {10.1215/00294527-1722701},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BonioloV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/StefanovaV11,
author = {Milena Stefanova and
Silvio Valentini},
title = {Spatiality and classical logic},
journal = {Math. Log. Q.},
volume = {57},
number = {4},
pages = {432--440},
year = {2011},
url = {https://doi.org/10.1002/malq.201010020},
doi = {10.1002/MALQ.201010020},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/StefanovaV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AspertiMCSV11,
author = {Andrea Asperti and
Maria Emilia Maietti and
Claudio Sacerdoti Coen and
Giovanni Sambin and
Silvio Valentini},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {Formalization of Formal Topology by Means of the Interactive Theorem
Prover Matita},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {278--280},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_20},
doi = {10.1007/978-3-642-22673-1\_20},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/AspertiMCSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/CoenV10,
author = {Claudio Sacerdoti Coen and
Silvio Valentini},
editor = {Ekaterina Komendantskaya and
Ana Bove and
Milad Niqui},
title = {General Recursion and Formal Topology},
booktitle = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
Edinburgh, UK, July 15, 2010},
series = {EPiC Series},
volume = {5},
pages = {72--83},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/hl75},
doi = {10.29007/HL75},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/CoenV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4899,
author = {Claudio Sacerdoti Coen and
Silvio Valentini},
editor = {Ana Bove and
Ekaterina Komendantskaya and
Milad Niqui},
title = {General Recursion and Formal Topology},
booktitle = {Proceedings Workshop on Partiality and Recursion in Interactive Theorem
Provers, {PAR} 2010, Edinburgh, UK, 15th July 2010},
series = {{EPTCS}},
volume = {43},
pages = {65--75},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.43.5},
doi = {10.4204/EPTCS.43.5},
timestamp = {Thu, 14 Oct 2021 09:14:41 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4899.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BonioloV08,
author = {Giovanni Boniolo and
Silvio Valentini},
title = {Vagueness, Kant and Topology: a Study of Formal Epistemology},
journal = {J. Philos. Log.},
volume = {37},
number = {2},
pages = {141--168},
year = {2008},
url = {https://doi.org/10.1007/s10992-007-9064-0},
doi = {10.1007/S10992-007-9064-0},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BonioloV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Valentini07,
author = {Silvio Valentini},
title = {Constructive characterizations of bar subsets},
journal = {Ann. Pure Appl. Log.},
volume = {145},
number = {3},
pages = {368--378},
year = {2007},
url = {https://doi.org/10.1016/j.apal.2006.10.003},
doi = {10.1016/J.APAL.2006.10.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Valentini07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Valentini06,
author = {Silvio Valentini},
title = {Every countably presented formal topology is spatial, classically},
journal = {J. Symb. Log.},
volume = {71},
number = {2},
pages = {491--500},
year = {2006},
url = {https://doi.org/10.2178/jsl/1146620155},
doi = {10.2178/JSL/1146620155},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Valentini06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Valentini05,
author = {Silvio Valentini},
title = {The problem of the formalization of constructive topology},
journal = {Arch. Math. Log.},
volume = {44},
number = {1},
pages = {115--129},
year = {2005},
url = {https://doi.org/10.1007/s00153-004-0243-1},
doi = {10.1007/S00153-004-0243-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Valentini05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BerardiV04,
author = {Stefano Berardi and
Silvio Valentini},
title = {Krivine's intuitionistic proof of classical completeness (for countable
languages)},
journal = {Ann. Pure Appl. Log.},
volume = {129},
number = {1-3},
pages = {93--106},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2004.01.002},
doi = {10.1016/J.APAL.2004.01.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BerardiV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MaiettiV04,
author = {Maria Emilia Maietti and
Silvio Valentini},
title = {A structural investigation on formal topology: coreflection of formal
covers and exponentiability},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {967--1005},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022209},
doi = {10.2178/JSL/1102022209},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MaiettiV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CoquandSSV03,
author = {Thierry Coquand and
Giovanni Sambin and
Jan M. Smith and
Silvio Valentini},
title = {Inductively generated formal topologies},
journal = {Ann. Pure Appl. Log.},
volume = {124},
number = {1-3},
pages = {71--106},
year = {2003},
url = {https://doi.org/10.1016/S0168-0072(03)00052-6},
doi = {10.1016/S0168-0072(03)00052-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CoquandSSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ValentiniV03,
author = {Silvio Valentini and
Matteo Viale},
title = {A binary modal logic for the intersection types of lambda-calculus},
journal = {Inf. Comput.},
volume = {185},
number = {2},
pages = {211--232},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00089-0},
doi = {10.1016/S0890-5401(03)00089-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ValentiniV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Valentini03,
author = {Silvio Valentini},
title = {A cartesian closed category in Martin-L{\"{o}}f's intuitionistic
type theory},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {189--219},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00309-7},
doi = {10.1016/S0304-3975(01)00309-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Valentini03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Valentini02,
author = {Silvio Valentini},
title = {On the formal points of the formal topology of the binary tree},
journal = {Arch. Math. Log.},
volume = {41},
number = {7},
pages = {603--618},
year = {2002},
url = {https://doi.org/10.1007/s001530100133},
doi = {10.1007/S001530100133},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Valentini02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini02,
author = {Silvio Valentini},
title = {Extensionality Versus Constructivity},
journal = {Math. Log. Q.},
volume = {48},
number = {2},
pages = {179--187},
year = {2002},
url = {https://doi.org/10.1002/1521-3870(200202)48:2\&\#60;179::AID-MALQ179\&\#62;3.0.CO;2-K},
doi = {10.1002/1521-3870(200202)48:2\&\#60;179::AID-MALQ179\&\#62;3.0.CO;2-K},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaiettiV04,
author = {Maria Emilia Maietti and
Silvio Valentini},
editor = {Mart{\'{\i}}n Escard{\'{o}} and
Achim Jung},
title = {Exponentiation of Scott Formal Topologies},
booktitle = {Proceedings of the Workshop on Domains {VI} 2002, Birmingham, UK,
September 16-19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {73},
pages = {111--131},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/j.entcs.2004.08.005},
doi = {10.1016/J.ENTCS.2004.08.005},
timestamp = {Wed, 07 Dec 2022 08:43:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaiettiV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Valentini01,
author = {Silvio Valentini},
title = {An elementary proof of strong normalization for intersection types},
journal = {Arch. Math. Log.},
volume = {40},
number = {7},
pages = {475--488},
year = {2001},
url = {https://doi.org/10.1007/s001530000070},
doi = {10.1007/S001530000070},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Valentini01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MaiettiV99,
author = {Maria Emilia Maietti and
Silvio Valentini},
title = {Can You Add Power-Sets to Martin-L{\"{o}}f's Intuitionistic Set
Theory?},
journal = {Math. Log. Q.},
volume = {45},
pages = {521--532},
year = {1999},
url = {https://doi.org/10.1002/malq.19990450410},
doi = {10.1002/MALQ.19990450410},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MaiettiV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CaprettaV99,
author = {Venanzio Capretta and
Silvio Valentini},
title = {A general method for proving the normalization theorem for first and
second order typed lambda-calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {9},
number = {6},
pages = {719--739},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44851},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CaprettaV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NegriV97,
author = {Sara Negri and
Silvio Valentini},
title = {Tychonoff's Theorem in the Framework of Formal Topologies},
journal = {J. Symb. Log.},
volume = {62},
number = {4},
pages = {1315--1332},
year = {1997},
url = {https://doi.org/10.2307/2275645},
doi = {10.2307/2275645},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NegriV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini96,
author = {Silvio Valentini},
title = {Decidability in Intuitionistic Type Theory is Functionally Decidable},
journal = {Math. Log. Q.},
volume = {42},
pages = {300--304},
year = {1996},
url = {https://doi.org/10.1002/malq.19960420125},
doi = {10.1002/MALQ.19960420125},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MaguoloV96,
author = {Dario Maguolo and
Silvio Valentini},
title = {An Intuitionistic Version of Cantor's Theorem},
journal = {Math. Log. Q.},
volume = {42},
pages = {446--448},
year = {1996},
url = {https://doi.org/10.1002/malq.19960420136},
doi = {10.1002/MALQ.19960420136},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MaguoloV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SambinVV96,
author = {Giovanni Sambin and
Silvio Valentini and
Paolo Virgili},
title = {Constructive Domain Theory as a Branch of Intuitionistic Pointfree
Topology},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {319--341},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00169-7},
doi = {10.1016/0304-3975(95)00169-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SambinVV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini94,
author = {Silvio Valentini},
title = {Representation Theorems for Quantales},
journal = {Math. Log. Q.},
volume = {40},
pages = {182--190},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400205},
doi = {10.1002/MALQ.19940400205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SolitroV93,
author = {Ugo Solitro and
Silvio Valentini},
title = {Local Computation in Linear Logic},
journal = {Math. Log. Q.},
volume = {39},
pages = {201--212},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390123},
doi = {10.1002/MALQ.19930390123},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SolitroV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini93,
author = {Silvio Valentini},
title = {A Proof of the Normal Form Theorem for the Closed Terms of Girard's
System \emph{F} by Means of Computability},
journal = {Math. Log. Q.},
volume = {39},
pages = {539--544},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390155},
doi = {10.1002/MALQ.19930390155},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/SambinV93,
author = {Giovanni Sambin and
Silvio Valentini},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Building up a Tool-Box for Matrin-L{\"{o}}f's Type Theory (Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {69--70},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022555},
doi = {10.1007/BFB0022555},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/SambinV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BossiV92,
author = {Annalisa Bossi and
Silvio Valentini},
title = {An Intuitionistic Theory of Types with Assumptions of High-Arity Variables},
journal = {Ann. Pure Appl. Log.},
volume = {57},
number = {2},
pages = {93--149},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90023-S},
doi = {10.1016/0168-0072(92)90023-S},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BossiV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini92,
author = {Silvio Valentini},
title = {The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory
and Semantics},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {39--58},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380105},
doi = {10.1002/MALQ.19920380105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini86,
author = {Silvio Valentini},
title = {A Syntactic Proof of Cut-Elimination For GL\({}_{\mbox{lin}}\)},
journal = {Math. Log. Q.},
volume = {32},
number = {7-9},
pages = {137--144},
year = {1986},
url = {https://doi.org/10.1002/malq.19860320707},
doi = {10.1002/MALQ.19860320707},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Valentini83,
author = {Silvio Valentini},
title = {The modal logic of provability: Cut-elimination},
journal = {J. Philos. Log.},
volume = {12},
number = {4},
pages = {471--476},
year = {1983},
url = {https://doi.org/10.1007/BF00249262},
doi = {10.1007/BF00249262},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Valentini83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini83,
author = {Silvio Valentini},
title = {The Modal Logic of Consistency Assertions of Peano Arithmetic},
journal = {Math. Log. Q.},
volume = {29},
number = {1},
pages = {25--32},
year = {1983},
url = {https://doi.org/10.1002/malq.19830290105},
doi = {10.1002/MALQ.19830290105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/SambinV82,
author = {Giovanni Sambin and
Silvio Valentini},
title = {The modal logic of provability. The sequential approach},
journal = {J. Philos. Log.},
volume = {11},
number = {3},
pages = {311--342},
year = {1982},
url = {https://doi.org/10.1007/BF00293433},
doi = {10.1007/BF00293433},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/SambinV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SambinV80,
author = {Giovanni Sambin and
Silvio Valentini},
title = {Post Completeness and Free Algebras},
journal = {Math. Log. Q.},
volume = {26},
number = {22-24},
pages = {343--347},
year = {1980},
url = {https://doi.org/10.1002/malq.19800262203},
doi = {10.1002/MALQ.19800262203},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SambinV80.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 22:46 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:
