scientific article; zbMATH DE number 3600027

MaRDI QIDQ4166751zbMATH OpenFDO

Authors

Publication date 1977

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55) General logic (03B99) Proof theory and constructive mathematics (03F99)

Recommendations

• Particularities of infinite systems
• Infinite Chichilnisky rules
• Sufficient condition for consistency of infinite systems
• Proof systems for infinite behaviours
• scientific article; zbMATH DE number 6530445
• Discrete systems on infinite intervals
• On the structure at infinity of a structured system
• Finite de Finetti Theorem for Infinite-Dimensional Systems
• Infinite Iterated Function Systems

Cited in

(1)

• Recursive \(\omega\)-rule for proof systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4166751)