scientific article; zbMATH DE number 1749196

MaRDI QIDQ4532197zbMATH OpenFDO

Authors Dirk van Dalen

Publication date 7 January 2003

zbMATH Keywords

intuitionismintuitionistic theoriessurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• How connected is the intuitionistic continuum?
• scientific article; zbMATH DE number 3313428
• scientific article; zbMATH DE number 1478228
• A generalization of Beth model to functionals of high types
• A new model for intuitionistic analysis

Cited in

(20)

• Intuitionistic truth
• Dual-intuitionistic logic
• A semantic hierarchy for intuitionistic logic
• Expressing second-order sentences in intuitionistic dependence logic
• Intuitionistic hybrid logic
• A short introduction to intuitionistic logic
• Intuitionistic Trilattice Logics
• A generalization of inquisitive semantics
• scientific article; zbMATH DE number 3557758 (Why is no real title available?)
• How connected is the intuitionistic continuum?
• Дедуктивные логики и их связь с интуиционистской логикой
• scientific article; zbMATH DE number 749933 (Why is no real title available?)
• Truth-maker semantics for intuitionistic logic
• Intuitionistic Logic and Computability Theory
• scientific article; zbMATH DE number 7585721 (Why is no real title available?)
• scientific article; zbMATH DE number 6287649 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling
• A new model for intuitionistic analysis
• Cut and pay
• Topological models of epistemic set theory

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