Searching for "Local Equational Logic." – sorted by Relevance.
-
Local Equational Logic II
- ae LOCAL EQUATIONAL LOGIC II VIRGIL EMIL C AZ ANESCU Faculty of Mathematics, University
- Add To MetaCart
-
Axiomatizability in Inclusive Equational Logic
- for Inclusive Equational Logic, a categorical generalization of equational logic that further generalizes local
- Cited by 4 (2 self) – Add To MetaCart
-
A Two-Level Approach towards Lean Proof-Checking
- . In the sequel, we let S =(Σ,E) be a fixed equational theory and A be a model of S. 7 3.2 Equational Logic, Local
- Cited by 11 (4 self) – Add To MetaCart
-
Complete Categorical Equational Deduction
- . Local equational logic [6] allows deduction to be done in any model, not only in the initial model
- Cited by 2 (0 self) – Add To MetaCart

