scientific article; zbMATH DE number 3296225

MaRDI QIDQ5579477zbMATH OpenFDO

Authors G. E. Mints

Publication date 1967

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

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cited in

(7)

• A herbrandized functional interpretation of classical first-order logic
• Choice inclusive general rough semantics
• Strategies of the search for derivation of statements with restricted quantifiers
• Choices in representation and reduction strategies for lambda terms in intensional contexts
• Three ways of recognizing inessential formulas in sequents
• On Skolemization in constructive theories
• 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)