The following pages link to George Metcalfe (Q287482):
Displaying 50 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- Density elimination (Q944384) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Structural completeness in fuzzy logics (Q1038654) (← links)
- Proof theory and ordered groups (Q1685913) (← links)
- Density revisited (Q1699744) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again (Q2122219) (← links)
- Structure theorems for idempotent residuated lattices (Q2182567) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- The one-variable fragment of corsi logic (Q2303581) (← links)
- Ordering groups and validity in lattice-ordered groups (Q2318348) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- Proof theory for fuzzy logics (Q2519539) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Time warps, from algebra to algorithms (Q2695363) (← links)
- An Avron rule for fragments of R-mingle (Q2804334) (← links)
- Admissibility in Finitely Generated Quasivarieties (Q2838238) (← links)
- A Finite Model Property for Gödel Modal Logics (Q2849434) (← links)
- Herbrand Theorems for Substructural Logics (Q2870155) (← links)
- Unifiability and Admissibility in Finite Algebras (Q2904444) (← links)
- Admissible Rules: From Characterizations to Applications (Q2915017) (← links)
- Towards a Proof Theory of G\"odel Modal Logics (Q3003328) (← links)
- (Q3012533) (← links)
- (Q3021911) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Exact Unification and Admissibility (Q3196355) (← links)
- Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic (Q3406683) (← links)
- Proof Theory for Casari's Comparative Logics (Q3411997) (← links)
- Skolemization for Substructural Logics (Q3460036) (← links)
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415) (← links)
- (Q3584003) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- Proof Systems for a Gödel Modal Logic (Q3648736) (← links)
- (Q4412860) (← links)
- (Q4603449) (← links)
- Checking Admissibility Using Natural Dualities (Q4617979) (← links)
- (Q4636037) (← links)
