( en | de | ru )

 

Disambiguation of "Metcalfe, George"

Author of the publication

copydeleteadd this publication to your clipboard
Coherence in Modal Logic.

, and . Advances in Modal Logic, page 459-472. College Publications, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sabrina Metcalfe

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Andrew George

George Bandlamudi

George Biros

 

Other publications of authors with the same name

Admissibility in Finitely Generated Quasivarieties, and . Logical Methods in Computer Science, (2013)Proof theory for lattice-ordered groups.. TACL, volume 25 of EPiC Series in Computing, page 8. EasyChair, (2013)Goal-Directed Methods for Lukasiewicz Logic., , and . CSL, volume 3210 of Lecture Notes in Computer Science, page 85-99. Springer, (2004)Proof Systems for a Gödel Modal Logic., and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 265-279. Springer, (2009)Uniform interpolation and compact congruences., , and . Ann. Pure Appl. Log., 168 (10): 1927-1948 (2017)A Real-Valued Modal Logic., , and . Log. Methods Comput. Sci., (2018)From Admissibility to a New Hierarchy of Unification Types., and . UNIF, page 41-46. (2014)Density Elimination and Rational Completeness for First-Order Logics., and . LFCS, volume 4514 of Lecture Notes in Computer Science, page 132-146. Springer, (2007)Herbrand Theorems for Substructural Logics., and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 584-600. Springer, (2013)Integrally Closed Residuated Lattices., , and . Stud Logica, 108 (5): 1063-1086 (2020)