Searching for "Local Equational Logic." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
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
Showing 1 through 4.
