Finite methods in 1-order formalisms (Q5957909)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Finite methods in 1-order formalisms |
scientific article; zbMATH DE number 1719224
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite methods in 1-order formalisms |
scientific article; zbMATH DE number 1719224 |
Statements
Finite methods in 1-order formalisms (English)
0 references
16 September 2002
0 references
finite variable logic
0 references
relation algebras
0 references
set theory
0 references
arithmetic
0 references
recursive functions
0 references
sequent calculus
0 references
term rewriting
0 references
proof search
0 references
cut-elimination
0 references
induction
0 references
Dialectica interpretation
0 references
infinity
0 references
infinite supply of individual variables admitted in 1-order deductions
0 references
infinite-branching rules in sequent calculi
0 references
