scientific article; zbMATH DE number 179051

MaRDI QIDQ4039140zbMATH OpenFDO

Authors Piotr Łukowski

Publication date 8 August 1993

zbMATH Keywords

epistemic valuationsintuitionistic logicintuitionistic sentential calculuspossible worlds semanticssemanticssentential calculus with identity

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• A three-valued semantics for logic programmers
• Semantic inconsistency measures using 3-valued logics
• scientific article; zbMATH DE number 4147552
• The three semantics of fuzzy sets
• Two kinds of (binary) Kripke-style semantics for three-valued logic
• Realizability of three-valued semantics for abstract dialectical frameworks
• Three-way formal concept analysis
• scientific article; zbMATH DE number 1046390
• Ternary relations and relevant semantics
• scientific article; zbMATH DE number 2209822

Cited in

(7)

• scientific article; zbMATH DE number 4164793 (Why is no real title available?)
• scientific article; zbMATH DE number 3950491 (Why is no real title available?)
• scientific article; zbMATH DE number 169733 (Why is no real title available?)
• scientific article; zbMATH DE number 1471974 (Why is no real title available?)
• An investigation into intuitionistic logic with identity
• Decidability of intuitionistic sentential logic with identity via sequent calculus
• That SCI has the interpolation property

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