The following pages link to George Metcalfe (Q287482):
Displaying 30 items.
- (Q4636305) (← links)
- Theorems of Alternatives for Substructural Logics (Q5020165) (← links)
- (Q5104720) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187858) (← links)
- Coherence in Modal Logic (Q5224581) (← links)
- Sequent and hypersequent calculi for abelian and łukasiewicz logics (Q5277732) (← links)
- Computer Science Logic (Q5292654) (← links)
- Computer Science Logic (Q5311248) (← links)
- (Q5406034) (← links)
- (Q5411445) (← links)
- Substructural fuzzy logics (Q5422306) (← links)
- Proof Theory for First Order Łukasiewicz Logic (Q5434477) (← links)
- Density Elimination and Rational Completeness for First-Order Logics (Q5434503) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705945) (← links)
- Łukasiewicz Logic: From Proof Systems To Logic Programming (Q5716213) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- (Q5884949) (← links)
- Residuated Structures in Algebra and Logic (Q6059121) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
- Uniform interpolation and coherence (Q6299513) (← links)
- Ordering groups and validity in lattice-ordered groups (Q6306400) (← links)
- Model completions for universal classes of algebras: necessary and sufficient conditions (Q6359633) (← links)
- From distributive l-monoids to l-groups, and back again (Q6361673) (← links)
- Time Warps, from Algebra to Algorithms (Q6370049) (← links)
- Deciding Equations in the Time Warp Algebra (Q6508763) (← links)
- Equational theories of idempotent semifields (Q6521935) (← links)
- Deciding dependence in logic and algebra (Q6612812) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)
- Ordering groups and the Identity Problem (Q6754788) (← links)
