scientific article; zbMATH DE number 4212000

MaRDI QIDQ3360157zbMATH OpenFDO

Authors Enrico Martino

Publication date 1988

zbMATH Keywords

intuitionistic logicsemantically founded sentences

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Hypo. A simple constructive semantics for intuitionistic sentential logic, soundness and completeness
• scientific article; zbMATH DE number 4212001
• Base-extension semantics for intuitionistic sentential logic
• Epistemic semantics for classical and intuitionistic logic
• A semantic approach to conservativity

Cited in

(8)

• Validity in intensional languages: A new approach
• Towards a semantics based on the notion of justification
• A Classical Realizability Model for a Semantical Value Restriction
• scientific article; zbMATH DE number 3912346 (Why is no real title available?)
• scientific article; zbMATH DE number 1348455 (Why is no real title available?)
• scientific article; zbMATH DE number 787684 (Why is no real title available?)
• Hypo. A simple constructive semantics for intuitionistic sentential logic, soundness and completeness
• Tales from an old manuscript

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