scientific article; zbMATH DE number 2121570

MaRDI QIDQ4830367zbMATH OpenFDO

Authors M. J. Cresswell

Publication date 9 December 2004

zbMATH Keywords

intuitionistic logicpossible worldspartial indices

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1463256
• Truth-maker semantics for intuitionistic logic
• scientific article; zbMATH DE number 6287649
• Partial probability functions and intuitionistic logic
• scientific article; zbMATH DE number 1252394

Cited in

(16)

• Set-theoretic semantics for Heyting's system Int
• On A neglected path to intuitionism
• Indices of truth and intensional operators
• Algorithmic correspondence and canonicity for possibility semantics
• scientific article; zbMATH DE number 1463256 (Why is no real title available?)
• Extended semantics and inference for the Independent Choice Logic
• Truth-maker semantics for intuitionistic logic
• The logic of lexical connectives
• Possibility semantics
• An alternative proof method for possibilistic logic and its application to terminological logics
• Modified numerals and split disjunction: the first-order case
• Tales from an old manuscript
• Base-extension semantics for intuitionistic sentential logic
• Possibilistic vs. relational semantics for logics of incomplete information
• Интенсиональные семантики для некоторых систем позитивной силлогистики
• scientific article; zbMATH DE number 3950527 (Why is no real title available?)

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