scientific article; zbMATH DE number 3559517

zbMATH Open0359.02006MaRDI QIDQ4132487FDOQ4132487

Authors: S. A. Norgela 

Publication date: 1977

Title of this publication is not available (Why is that?)

Recommendations

• Sequential calculus
• scientific article; zbMATH DE number 4091467
• Publication:2778815
• 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

Mathematics Subject Classification ID

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

Cited In (4)

• Free-variable semantic tableaux for the logic of fuzzy inequalities
• Title not available (Why is that?)
• Herbrand deduction search strategies in predicate calculus. II
• Some work of Lithuanian mathematicians in the domain of mathematical logic and programming

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)