scientific article; zbMATH DE number 3559517

zbMATHMaRDI QIDQ4132487FDO

Authors S. A. Norgela

Publication date 1977

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory and constructive mathematics (03F99)

Recommendations

• Sequential calculus
• scientific article; zbMATH DE number 4091467
• scientific article; zbMATH DE number 1722647
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Sequential operators in computability logic
• Non-Commutative First-Order Sequent Calculus
• A sequent calculus for a negative free logic
• scientific article; zbMATH DE number 1678381
• scientific article; zbMATH DE number 1342255
• scientific article; zbMATH DE number 4008371

Cited in

(4)

• scientific article; zbMATH DE number 1303435 (Why is no real title available?)
• Free-variable semantic tableaux for the logic of fuzzy inequalities
• Some work of Lithuanian mathematicians in the domain of mathematical logic and programming
• Herbrand deduction search strategies in predicate calculus. II

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