HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:George Metcalfe

Publications
Proof theory for lattice-ordered groups
George Metcalfe
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
A Finite Model Property for Gödel Modal Logics
Xavier Caicedo, George Metcalfe, Ricardo Rodriguez and Jonas Rogger
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic
Petr Cintula and George Metcalfe
In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.

Keyphrases

admissible rules, computational complexity, finite model property, Fuzzy Logics, Gödel logic, intuitionistic logic.

Copyright © 2012-2025 easychair.org. All rights reserved.