Pages that link to "Item:Q1575931"
From MaRDI portal
The following pages link to Cut-elimination for a logic with definitions and induction (Q1575931):
Displaying 27 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Nominal abstraction (Q617715) (← links)
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- A proof theory for model checking (Q2331070) (← links)
- A two-level logic approach to reasoning about computations (Q2392484) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (Q2802499) (← links)
- On the role of names in reasoning about \(\lambda\)-tree syntax specifications (Q2804945) (← links)
- Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924) (← links)
- Encoding generic judgments: preliminary results (Q2841234) (← links)
- A logic for reasoning about generic judgments (Q2871856) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- Lexicographic Path Induction (Q3637202) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- (Q5014803) (← links)
- Types for Proofs and Programs (Q5712312) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
