Searching for "The omega-rule." – sorted by Relevance.
58 documents found, showing 1 through 10.
Next 10 →
-
A Proof Environment for Arithmetic with the Omega Rule
- …A Proof Environment for Arithmetic with the Omega Rule Siani Baker y Alan Smaill z Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Use of the Constructive Omega-Rule within Automated Deduction
- …On the Use of the Constructive Omega-Rule within Automated Deduction S. Baker, A. Ireland and A…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Use of the Constructive Omega-Rule within Automated Deduction
- …On the Use of the Constructive Omega-Rule within Automated Deduction S. Baker, A. Ireland and A…
- Add To MetaCart
-
On the proof theory of the modal mu-calculus
- … a proof in a system with an omega rule, we show how to construct a proof in a system that features…
- Cited by 1 (0 self) – Add To MetaCart
-
An Overview of the Linear Logic Programming Language Lygon
- … permutation properties ffl !-rule and\Omega -rule have awkward cases ffl make some (not necessarily arbitrary…
- Add To MetaCart
-
Proof-theoretic analysis by iterated reflection
- …. Technically, in some sense, they replace the use of omega-rule. We compare the information obtained…
- Cited by 1 (0 self) – Add To MetaCart
-
Implementing the Linear Logic Programming Language Lygon
- …. This is done in the reduction of the \Omega rule. Since logic programming languages search for proofs in a…
- Cited by 22 (8 self) – Add To MetaCart
-
Deterministic Resource Management for the Linear Logic Programming Language Lygon
- … ) cannot be done simply by altering the appropriate rule for\Omega , but requires the entire system…
- Cited by 15 (5 self) – Add To MetaCart
-
Proof Strategies in Linear Logic
- … propositional atom) Multiplicative rules: ` 1 (1-axiom) ` A; \Gamma ` B; \Delta ` A\Omega B; \Gamma; \Delta\Omega…
- Cited by 22 (2 self) – Add To MetaCart
-
Proof Strategies in Linear Logic
- … propositional atom) Multiplicative rules: ` 1 (1-axiom) ` A; \Gamma ` B; \Delta ` A\Omega B; \Gamma; \Delta\Omega…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
