scientific article; zbMATH DE number 3296225

zbMATH Open0186.00502MaRDI QIDQ5579477FDOQ5579477

G. E. Mints

Publication date: 1967

Full work available at URL: https://eudml.org/doc/66382

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

Recommendations

• scientific article; zbMATH DE number 1342208
• Quantifiers in logic and proof-search using permissive-nominal terms and sets
• Choice Principles and Constructive Logics†
• Elementary-base cirquent calculus. II: Choice quantifiers
• Choice logics and their computational properties
• Sequent calculi for choice logics
• Choice and independence of premise rules in intuitionistic set theory
• scientific article; zbMATH DE number 1453079
• On the strictness of the quantifier structure hierarchy in first-order logic
• scientific article; zbMATH DE number 1088204

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (6)

• Strategies of the search for derivation of statements with restricted quantifiers
• Choices in representation and reduction strategies for lambda terms in intensional contexts
• On Skolemization in constructive theories
• Three ways of recognizing inessential formulas in sequents
• Choice inclusive general rough semantics
• Quantifiers in logic and proof-search using permissive-nominal terms and sets

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