scientific article; zbMATH DE number 3563037

zbMath0362.02014MaRDI QIDQ4135468

Daniel Leivant

Publication date: 1976

Full work available at URL: http://www.numdam.org/item?id=ASCFM_1976__60_13_93_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Related Items

Reflexive intermediate propositional logics

Cites Work

• Formalized recursive functionals and formalized realizability
• Formal systems for some branches of intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item