( en | de | ru )

 

Disambiguation of "Metcalfe, George"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatizing a Real-Valued Modal Logic.

, , and . Advances in Modal Logic, page 236-251. College Publications, (2016)

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)

George Rusyn

Witold George

Hans George

 

Other publications of authors with the same name

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