scientific article; zbMATH DE number 4023238

MaRDI QIDQ3765741zbMATH OpenFDO

Authors Teo Grünberg

Publication date 1986

zbMATH Keywords

analytic tableauxelimination of bound variablesfirst-order logic with operation symbolspredicate-functor logicvariable-free quantification

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Proof theory and constructive mathematics (03F99) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• A tableau system of proof for predicate-functor logic with identity
• The completeness of a predicate-functor logic
• Publication:3469080
• The Monotonous Elimination of Predicate Variables
• scientific article; zbMATH DE number 3855057

Cited in

(5)

• scientific article; zbMATH DE number 3855057 (Why is no real title available?)
• A tableau system of proof for predicate-functor logic with identity
• scientific article; zbMATH DE number 4135908 (Why is no real title available?)
• The completeness of a predicate-functor logic
• Two-dimensional semantics for predicate-functor languages with operation symbols

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 Q3765741)