Pages that link to "Item:Q1130508"
From MaRDI portal
The following pages link to A formal system of first-order predicate calculus with infinitely long expressions (Q1130508):
Displaying 12 items.
- A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
- Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- A reduction-principle for infinite formulas (Q2625364) (← links)
- On axiom schemata applicable to the formulae with \(\epsilon\)-symbols (Q2639839) (← links)
- ON CONSTRUCTING INFINITARY LANGUAGES Lα β WITHOUT THE AXIOM OF CHOICE (Q3342567) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 (Q3902981) (← links)
- A complete infinitary logic (Q4128527) (← links)
- (Q4517273) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- A Determinate Logic (Q5590053) (← links)
- Infinitary analogs of theorems from first order model theory (Q5639710) (← links)