scientific article; zbMATH DE number 2121570

zbMATH Open1058.03015MaRDI QIDQ4830367FDOQ4830367

Authors: M. J. Cresswell 

Publication date: 9 December 2004

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

intuitionistic logicpossible worldspartial indices

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)