Second-Order Equational Logic (Extended Abstract)
From MaRDI portal
Recommendations
- Some Varieties of Equational Logic
- Second-order logic on equivalence relations
- Extensionalizing intensional second-order logic
- Second-Order Algebraic Theories
- Complexity and expressive power of second-order extended Horn logic
- scientific article; zbMATH DE number 4047723
- Automated Reasoning
- Extended Curry-Howard terms for second-order logic
- Second-Order Logic over Finite Structures – Report on a Research Programme
- Second-Order Logic and Foundations of Mathematics
Cited in
(26)- Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
- Theory and practice of second-order rewriting: foundation, evolution, and SOL
- A complete equational axiomatisation of partial differentiation
- Formalizing non-standard arguments in second-order arithmetic
- On the mathematical synthesis of equational logics
- Pedagogical Second-order Propositional Calculi
- Second-Order Algebraic Theories
- scientific article; zbMATH DE number 4047723 (Why is no real title available?)
- scientific article; zbMATH DE number 176527 (Why is no real title available?)
- scientific article; zbMATH DE number 7379288 (Why is no real title available?)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding
- High-level signatures and initial semantics
- Modular specification of monads through higher-order presentations
- scientific article; zbMATH DE number 7566074 (Why is no real title available?)
- How to prove decidability of equational theories with second-order computation analyser SOL
- List Objects with Algebraic Structure
- Second-order unification in the presence of linear shallow algebraic equations
- Semantic analysis of normalisation by evaluation for typed lambda calculus
- Variable binding and substitution for (nameless) dummies
- Fixpoint constructions in focused orthogonality models of linear logic
- Modules over monads and operational semantics
- Two-dimensional Kripke semantics i: presheaves
- Second-order generalised algebraic theories: signatures and first-order semantics
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions
- Semantics of pattern unification
- Pure second-order logic with second-order identity
This page was built for publication: Second-Order Equational Logic (Extended Abstract)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3586049)
