Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: George Metcalfe
@article{DBLP:journals/lmcs/GoolGMS24,
author = {Sam van Gool and
Adrien Guatto and
George Metcalfe and
Simon Santschi},
title = {Deciding Equations in the Time Warp Algebra},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:8)2024},
doi = {10.46298/LMCS-20(1:8)2024},
timestamp = {Tue, 05 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/GoolGMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MetcalfeR23,
author = {George Metcalfe and
Luca Reggio},
title = {Model Completions for Universal Classes of Algebras: Necessary and
Sufficient Conditions},
journal = {J. Symb. Log.},
volume = {88},
number = {1},
pages = {381--417},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.1},
doi = {10.1017/JSL.2022.1},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MetcalfeR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04668,
author = {Sam van Gool and
Adrien Guatto and
George Metcalfe and
Simon Santschi},
title = {Deciding Equations in the Time Warp Algebra},
journal = {CoRR},
volume = {abs/2302.04668},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.04668},
doi = {10.48550/ARXIV.2302.04668},
eprinttype = {arXiv},
eprint = {2302.04668},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-04668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-14953,
author = {Wesley Fussner and
George Metcalfe and
Simon Santschi},
title = {Interpolation and the Exchange Rule},
journal = {CoRR},
volume = {abs/2310.14953},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.14953},
doi = {10.48550/ARXIV.2310.14953},
eprinttype = {arXiv},
eprint = {2310.14953},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-14953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaicedoMRT22,
author = {Xavier Caicedo and
George Metcalfe and
Ricardo Rodr{\'{\i}}guez and
Olim Frits Tuyt},
title = {One-variable fragments of intermediate logics over linear frames},
journal = {Inf. Comput.},
volume = {287},
pages = {104755},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104755},
doi = {10.1016/J.IC.2021.104755},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CaicedoMRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/MetcalfeTC22,
author = {George Metcalfe and
Naomi Tokuda and
Petr Cintula},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {Algebraic Semantics for One-Variable Lattice-Valued Logics},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {237--258},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/17-Cintula-Metcalfe-Tokuda.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/MetcalfeTC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-08566,
author = {Petr Cintula and
George Metcalfe and
Naomi Tokuda},
title = {Algebraic semantics for one-variable lattice-valued logics},
journal = {CoRR},
volume = {abs/2209.08566},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.08566},
doi = {10.48550/ARXIV.2209.08566},
eprinttype = {arXiv},
eprint = {2209.08566},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-08566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GoolGMS21,
author = {Sam van Gool and
Adrien Guatto and
George Metcalfe and
Simon Santschi},
editor = {Uli Fahrenberg and
Mai Gehrke and
Luigi Santocanale and
Michael Winter},
title = {Time Warps, from Algebra to Algorithms},
booktitle = {Relational and Algebraic Methods in Computer Science - 19th International
Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13027},
pages = {309--324},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88701-8\_19},
doi = {10.1007/978-3-030-88701-8\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/GoolGMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06205,
author = {Sam van Gool and
Adrien Guatto and
George Metcalfe and
Simon Santschi},
title = {Time Warps, from Algebra to Algorithms},
journal = {CoRR},
volume = {abs/2106.06205},
year = {2021},
url = {https://arxiv.org/abs/2106.06205},
eprinttype = {arXiv},
eprint = {2106.06205},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Gil-FerezLM20,
author = {Jos{\'{e}} Gil{-}F{\'{e}}rez and
Frederik M{\"{o}}llerstr{\"{o}}m Lauridsen and
George Metcalfe},
title = {Integrally Closed Residuated Lattices},
journal = {Stud Logica},
volume = {108},
number = {5},
pages = {1063--1086},
year = {2020},
url = {https://doi.org/10.1007/s11225-019-09888-9},
doi = {10.1007/S11225-019-09888-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Gil-FerezLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/MetcalfeT20,
author = {George Metcalfe and
Olim Frits Tuyt},
editor = {Nicola Olivetti and
Rineke Verbrugge and
Sara Negri and
Gabriel Sandu},
title = {A Monadic Logic of Ordered Abelian Groups},
booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
August 24-28, 2020},
pages = {441--457},
publisher = {College Publications},
year = {2020},
url = {http://www.aiml.net/volumes/volume13/Metcalfe-Tuyt.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/MetcalfeT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KowalskiM19,
author = {Tomasz Kowalski and
George Metcalfe},
title = {Uniform interpolation and coherence},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {7},
pages = {825--841},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.02.004},
doi = {10.1016/J.APAL.2019.02.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KowalskiM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CintulaDM19,
author = {Petr Cintula and
Denisa Diaconescu and
George Metcalfe},
title = {Skolemization and Herbrand theorems for lattice-valued logics},
journal = {Theor. Comput. Sci.},
volume = {768},
pages = {54--75},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.02.007},
doi = {10.1016/J.TCS.2019.02.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CintulaDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CabrerFMP19,
author = {Leonardo Manuel Cabrer and
Benjamin Freisberg and
George Metcalfe and
Hilary A. Priestley},
title = {Checking Admissibility Using Natural Dualities},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {1},
pages = {2:1--2:19},
year = {2019},
url = {https://doi.org/10.1145/3275115},
doi = {10.1145/3275115},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CabrerFMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CaicedoMRT19,
author = {Xavier Caicedo and
George Metcalfe and
Ricardo Oscar Rodr{\'{\i}}guez and
Olim Frits Tuyt},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {The One-Variable Fragment of Corsi Logic},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {70--83},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_5},
doi = {10.1007/978-3-662-59533-6\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CaicedoMRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MartiM18,
author = {Michel Marti and
George Metcalfe},
title = {Expressivity in chain-based modal logics},
journal = {Arch. Math. Log.},
volume = {57},
number = {3-4},
pages = {361--380},
year = {2018},
url = {https://doi.org/10.1007/s00153-017-0573-4},
doi = {10.1007/S00153-017-0573-4},
timestamp = {Fri, 06 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MartiM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DiaconescuMS18,
author = {Denisa Diaconescu and
George Metcalfe and
Laura Schn{\"{u}}riger},
title = {A Real-Valued Modal Logic},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:10)2018},
doi = {10.23638/LMCS-14(1:10)2018},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DiaconescuMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KowalskiM18,
author = {Tomasz Kowalski and
George Metcalfe},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Coherence in Modal Logic},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {459--472},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Kowalski-Metcalfe.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KowalskiM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2018,
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August
27-31, 2018},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/},
isbn = {978-1-84890-255-8},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GoolMT17,
author = {Samuel J. van Gool and
George Metcalfe and
Constantine Tsinakis},
title = {Uniform interpolation and compact congruences},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {10},
pages = {1927--1948},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2017.05.001},
doi = {10.1016/J.APAL.2017.05.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GoolMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaicedoMRR17,
author = {Xavier Caicedo and
George Metcalfe and
Ricardo Oscar Rodr{\'{\i}}guez and
Jonas Rogger},
title = {Decidability of order-based modal logics},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {53--74},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.03.012},
doi = {10.1016/J.JCSS.2017.03.012},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CaicedoMRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/MetcalfeT17,
author = {George Metcalfe and
Constantine Tsinakis},
title = {Density revisited},
journal = {Soft Comput.},
volume = {21},
number = {1},
pages = {175--189},
year = {2017},
url = {https://doi.org/10.1007/s00500-016-2420-7},
doi = {10.1007/S00500-016-2420-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/MetcalfeT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ColacitoM17,
author = {Almudena Colacito and
George Metcalfe},
editor = {Juliette Kennedy and
Ruy J. G. B. de Queiroz},
title = {Proof Theory and Ordered Groups},
booktitle = {Logic, Language, Information, and Computation - 24th International
Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10388},
pages = {80--91},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55386-2\_6},
doi = {10.1007/978-3-662-55386-2\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ColacitoM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DiaconescuMS17,
author = {Denisa Diaconescu and
George Metcalfe and
Laura Schn{\"{u}}riger},
title = {A Real-Valued Modal Logic},
journal = {CoRR},
volume = {abs/1706.02854},
year = {2017},
url = {http://arxiv.org/abs/1706.02854},
eprinttype = {arXiv},
eprint = {1706.02854},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DiaconescuMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GalatosM16,
author = {Nikolaos Galatos and
George Metcalfe},
title = {Proof theory for lattice-ordered groups},
journal = {Ann. Pure Appl. Log.},
volume = {167},
number = {8},
pages = {707--724},
year = {2016},
url = {https://doi.org/10.1016/j.apal.2016.04.004},
doi = {10.1016/J.APAL.2016.04.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/GalatosM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Metcalfe16,
author = {George Metcalfe},
title = {An Avron rule for fragments of R-mingle},
journal = {J. Log. Comput.},
volume = {26},
number = {1},
pages = {381--393},
year = {2016},
url = {https://doi.org/10.1093/logcom/ext031},
doi = {10.1093/LOGCOM/EXT031},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Metcalfe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/IemhoffM16,
author = {Rosalie Iemhoff and
George Metcalfe},
title = {Special Issue on Admissible Rules and Unification},
journal = {Notre Dame J. Formal Log.},
volume = {57},
number = {4},
pages = {441--442},
year = {2016},
url = {https://doi.org/10.1215/00294527-3646685},
doi = {10.1215/00294527-3646685},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/IemhoffM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/DiaconescuMS16,
author = {Denisa Diaconescu and
George Metcalfe and
Laura Schn{\"{u}}riger},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {Axiomatizing a Real-Valued Modal Logic},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {236--251},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Diaconescu-Metcalfe-Schnuriger.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/DiaconescuMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CabrerM15,
author = {Leonardo Manuel Cabrer and
George Metcalfe},
title = {Exact Unification and Admissibility},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:23)2015},
doi = {10.2168/LMCS-11(3:23)2015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CabrerM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CintulaDM15,
author = {Petr Cintula and
Denisa Diaconescu and
George Metcalfe},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Skolemization for Substructural Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {1--15},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_1},
doi = {10.1007/978-3-662-48899-7\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CintulaDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/MartiM14,
author = {Michel Marti and
George Metcalfe},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {A Hennessy-Milner Property for Many-Valued Modal Logics},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {407--420},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Marti-Metcalfe.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/MartiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/CabrerM14,
author = {Leonardo Manuel Cabrer and
George Metcalfe},
editor = {Temur Kutsia and
Christophe Ringeissen},
title = {From Admissibility to a New Hierarchy of Unification Types},
booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF}
2014, Vienna, Austria, July 13, 2014},
pages = {41--46},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=46},
timestamp = {Tue, 19 Sep 2023 15:35:06 +0200},
biburl = {https://dblp.org/rec/conf/unif/CabrerM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-3530,
author = {George Metcalfe and
Christoph R{\"{o}}thlisberger},
title = {Admissibility in Finitely Generated Quasivarieties},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:9)2013},
doi = {10.2168/LMCS-9(2:9)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-3530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CintulaM13,
author = {Petr Cintula and
George Metcalfe},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Herbrand Theorems for Substructural Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {584--600},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_39},
doi = {10.1007/978-3-642-45221-5\_39},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CintulaM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/Metcalfe13,
author = {George Metcalfe},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {Proof theory for lattice-ordered groups},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {8},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/3szk},
doi = {10.29007/3SZK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/Metcalfe13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/CaicedoMRR13,
author = {Xavier Caicedo and
George Metcalfe and
Ricardo Oscar Rodr{\'{\i}}guez and
Jonas Rogger},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {A Finite Model Property for G{\"{o}}del Modal Logics},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {183--186},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/vgh2},
doi = {10.29007/VGH2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/CaicedoMRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CaicedoMRR13,
author = {Xavier Caicedo and
George Metcalfe and
Ricardo Oscar Rodr{\'{\i}}guez and
Jonas Rogger},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {A Finite Model Property for G{\"{o}}del Modal Logics},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {226--237},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_20},
doi = {10.1007/978-3-642-39992-3\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CaicedoMRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MarchioniM12,
author = {Enrico Marchioni and
George Metcalfe},
title = {Craig interpolation for semilinear substructural logics},
journal = {Math. Log. Q.},
volume = {58},
number = {6},
pages = {468--481},
year = {2012},
url = {https://doi.org/10.1002/malq.201200004},
doi = {10.1002/MALQ.201200004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MarchioniM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/MetcalfeR12,
author = {George Metcalfe and
Christoph R{\"{o}}thlisberger},
title = {Admissibility in De Morgan algebras},
journal = {Soft Comput.},
volume = {16},
number = {11},
pages = {1875--1882},
year = {2012},
url = {https://doi.org/10.1007/s00500-012-0839-z},
doi = {10.1007/S00500-012-0839-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/MetcalfeR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MetcalfeR12,
author = {George Metcalfe and
Christoph R{\"{o}}thlisberger},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {Unifiability and Admissibility in Finite Algebras},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {485--495},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_49},
doi = {10.1007/978-3-642-30870-3\_49},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/MetcalfeR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Metcalfe12,
author = {George Metcalfe},
editor = {C.{-}H. Luke Ong and
Ruy J. G. B. de Queiroz},
title = {Admissible Rules: From Characterizations to Applications},
booktitle = {Logic, Language, Information and Computation - 19th International
Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7456},
pages = {56--69},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32621-9\_4},
doi = {10.1007/978-3-642-32621-9\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Metcalfe12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-1256,
author = {George Metcalfe and
Nicola Olivetti},
title = {Towards a Proof Theory of G{\"{o}}del Modal Logics},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:10)2011},
doi = {10.2168/LMCS-7(2:10)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-1256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CintulaMN11,
author = {Petr Cintula and
George Metcalfe and
Carles Noguera},
title = {Special Issue on Mathematical Fuzzy Logic},
journal = {J. Log. Comput.},
volume = {21},
number = {5},
pages = {715--716},
year = {2011},
url = {https://doi.org/10.1093/logcom/exp057},
doi = {10.1093/LOGCOM/EXP057},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CintulaMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2011,
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4},
doi = {10.1007/978-3-642-22119-4},
isbn = {978-3-642-22118-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CintulaM10,
author = {Petr Cintula and
George Metcalfe},
title = {Admissible rules in the implication-negation fragment of intuitionistic
logic},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {2},
pages = {162--171},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.09.001},
doi = {10.1016/J.APAL.2010.09.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/CintulaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/CiabattoniMM10,
author = {Agata Ciabattoni and
George Metcalfe and
Franco Montagna},
title = {Algebraic and proof-theoretic characterizations of truth stressers
for {MTL} and its extensions},
journal = {Fuzzy Sets Syst.},
volume = {161},
number = {3},
pages = {369--389},
year = {2010},
url = {https://doi.org/10.1016/j.fss.2009.09.001},
doi = {10.1016/J.FSS.2009.09.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/CiabattoniMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaazM10,
author = {Matthias Baaz and
George Metcalfe},
title = {Herbrand's Theorem, Skolemization and Proof Systems for First-Order
Lukasiewicz Logic},
journal = {J. Log. Comput.},
volume = {20},
number = {1},
pages = {35--54},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn059},
doi = {10.1093/LOGCOM/EXN059},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaazM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MetcalfeT10,
author = {George Metcalfe and
Constantine Tsinakis},
title = {Order, Algebra and Logics},
journal = {J. Log. Comput.},
volume = {20},
number = {4},
pages = {759--760},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp007},
doi = {10.1093/LOGCOM/EXP007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MetcalfeT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/MarchioniM10,
author = {Enrico Marchioni and
George Metcalfe},
title = {Interpolation Properties for Uninorm Based Logics},
booktitle = {40th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2010, Barcelona, Spain, 26-28 May 2010},
pages = {205--210},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISMVL.2010.46},
doi = {10.1109/ISMVL.2010.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/MarchioniM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CintulaM10,
author = {Petr Cintula and
George Metcalfe},
editor = {Andrei Voronkov and
Geoff Sutcliffe and
Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
title = {Complexity of Admissible Rules in the Implication-Negation Fragment
of Intuitionistic Logic},
booktitle = {Short papers for 17th International Conference on Logic for Programming,
Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
Indonesia, October 10-15, 2010},
series = {EPiC Series in Computing},
volume = {13},
pages = {30--34},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/cll3},
doi = {10.29007/CLL3},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CintulaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/IemhoffM09,
author = {Rosalie Iemhoff and
George Metcalfe},
title = {Proof theory for admissible rules},
journal = {Ann. Pure Appl. Log.},
volume = {159},
number = {1-2},
pages = {171--186},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2008.10.011},
doi = {10.1016/J.APAL.2008.10.011},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/IemhoffM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaazM09,
author = {Matthias Baaz and
George Metcalfe},
title = {Fuzzy Logic Corner},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {343},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn053},
doi = {10.1093/LOGCOM/EXN053},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaazM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CintulaM09,
author = {Petr Cintula and
George Metcalfe},
title = {Structural Completeness in Fuzzy Logics},
journal = {Notre Dame J. Formal Log.},
volume = {50},
number = {2},
pages = {153--182},
year = {2009},
url = {https://doi.org/10.1215/00294527-2009-004},
doi = {10.1215/00294527-2009-004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CintulaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/FermullerM09,
author = {Christian G. Ferm{\"{u}}ller and
George Metcalfe},
title = {Giles's Game and the Proof Theory of Lukasiewicz Logic},
journal = {Stud Logica},
volume = {92},
number = {1},
pages = {27--61},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9185-2},
doi = {10.1007/S11225-009-9185-2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/FermullerM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/IemhoffM09,
author = {Rosalie Iemhoff and
George Metcalfe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Hypersequent Systems for the Admissible Rules of Modal and Intermediate
Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {230--245},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_16},
doi = {10.1007/978-3-540-92687-0\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/IemhoffM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MetcalfeO09,
author = {George Metcalfe and
Nicola Olivetti},
editor = {Martin Giese and
Arild Waaler},
title = {Proof Systems for a G{\"{o}}del Modal Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {265--279},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_20},
doi = {10.1007/978-3-642-02716-1\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MetcalfeO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CiabattoniM08,
author = {Agata Ciabattoni and
George Metcalfe},
title = {Density elimination},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {328--346},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.019},
doi = {10.1016/J.TCS.2008.05.019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CiabattoniM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BaazM08,
author = {Matthias Baaz and
George Metcalfe},
editor = {Arnold Beckmann and
Costas Dimitracopoulos and
Benedikt L{\"{o}}we},
title = {Herbrand Theorems and Skolemization for Prenex Fuzzy Logics},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in
Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5028},
pages = {22--31},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69407-6\_3},
doi = {10.1007/978-3-540-69407-6\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BaazM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CintulaM07,
author = {Petr Cintula and
George Metcalfe},
title = {Normal forms for fuzzy logics: a proof-theoretic approach},
journal = {Arch. Math. Log.},
volume = {46},
number = {5-6},
pages = {347--363},
year = {2007},
url = {https://doi.org/10.1007/s00153-007-0033-7},
doi = {10.1007/S00153-007-0033-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CintulaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GabbayM07,
author = {Dov M. Gabbay and
George Metcalfe},
title = {Fuzzy logics based on [0, 1)-continuous uninorms},
journal = {Arch. Math. Log.},
volume = {46},
number = {5-6},
pages = {425--449},
year = {2007},
url = {https://doi.org/10.1007/s00153-007-0047-1},
doi = {10.1007/S00153-007-0047-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GabbayM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MetcalfeM07,
author = {George Metcalfe and
Franco Montagna},
title = {Substructural fuzzy logics},
journal = {J. Symb. Log.},
volume = {72},
number = {3},
pages = {834--864},
year = {2007},
url = {https://doi.org/10.2178/jsl/1191333844},
doi = {10.2178/JSL/1191333844},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MetcalfeM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CiabattoniM07,
author = {Agata Ciabattoni and
George Metcalfe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Density Elimination and Rational Completeness for First-Order Logics},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {132--146},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_10},
doi = {10.1007/978-3-540-72734-7\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CiabattoniM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BaazM07,
author = {Matthias Baaz and
George Metcalfe},
editor = {Nicola Olivetti},
title = {Proof Theory for First Order Lukasiewicz Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {28--42},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_5},
doi = {10.1007/978-3-540-73099-6\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BaazM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Metcalfe06,
author = {George Metcalfe},
title = {Proof Theory for Casari's Comparative Logics},
journal = {J. Log. Comput.},
volume = {16},
number = {4},
pages = {405--422},
year = {2006},
url = {https://doi.org/10.1093/logcom/exl001},
doi = {10.1093/LOGCOM/EXL001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Metcalfe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MetcalfeOG05,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Lukasiewicz Logic: From Proof Systems To Logic Programming},
journal = {Log. J. {IGPL}},
volume = {13},
number = {5},
pages = {561--585},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi042},
doi = {10.1093/JIGPAL/JZI042},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MetcalfeOG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MetcalfeOG05,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Sequent and hypersequent calculi for abelian and {\L}ukasiewicz logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {3},
pages = {578--613},
year = {2005},
url = {https://doi.org/10.1145/1071596.1071600},
doi = {10.1145/1071596.1071600},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/MetcalfeOG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MetcalfeO05,
author = {George Metcalfe and
Nicola Olivetti},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Goal-Directed Methods for Fuzzy Logics},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {307--330},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MetcalfeO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MetcalfeOG04,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Analytic Calculi for Product Logics},
journal = {Arch. Math. Log.},
volume = {43},
number = {7},
pages = {859--890},
year = {2004},
url = {https://doi.org/10.1007/s00153-004-0225-3},
doi = {10.1007/S00153-004-0225-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MetcalfeOG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MetcalfeOG04,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Goal-Directed Methods for Lukasiewicz Logic},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {85--99},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_10},
doi = {10.1007/978-3-540-30124-0\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MetcalfeOG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CiabattoniFM04,
author = {Agata Ciabattoni and
Christian G. Ferm{\"{u}}ller and
George Metcalfe},
editor = {Franz Baader and
Andrei Voronkov},
title = {Uniform Rules and Dialogue Games for Fuzzy Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {496--510},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_33},
doi = {10.1007/978-3-540-32275-7\_33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CiabattoniFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MetcalfeOG03,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {Goal-Directed Calculli for G{\"{o}}del-Dummett Logics},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {413--426},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_33},
doi = {10.1007/978-3-540-45220-1\_33},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MetcalfeOG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CiabattoniM03,
author = {Agata Ciabattoni and
George Metcalfe},
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {Bounded Lukasiewicz Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2796},
pages = {32--47},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45206-5\_6},
doi = {10.1007/978-3-540-45206-5\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CiabattoniM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/MetcalfeOG02,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
editor = {Uwe Egly and
Christian G. Ferm{\"{u}}ller},
title = {Analytic Sequent Calculi for Abelian and ukasiewicz Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2002, Copenhagen, Denmark, July 30 - August
1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2381},
pages = {191--205},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45616-3\_14},
doi = {10.1007/3-540-45616-3\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/MetcalfeOG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0211021,
author = {George Metcalfe and
Nicola Olivetti and
Dov M. Gabbay},
title = {Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics},
journal = {CoRR},
volume = {cs.LO/0211021},
year = {2002},
url = {http://arxiv.org/abs/cs/0211021},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0211021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-03-07 04:29 CET 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:
