scientific article; zbMATH DE number 1463256

MaRDI QIDQ4487377zbMATH OpenFDO

Authors Janusz MacIaszek

Publication date 3 December 2000

zbMATH Keywords

intuitionistic predicate logicKripke semantics

Mathematics Subject Classification ID

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

Recommendations

• A new semantics for intuitionistic predicate logic
• scientific article; zbMATH DE number 2121570
• Absolute L-realizability and intuitionistic logic
• Truth-maker semantics for intuitionistic logic
• Probabilistic models for intuitionistic predicate logic

Cited in

(6)

• A new semantics for intuitionistic predicate logic
• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
• scientific article; zbMATH DE number 2121570 (Why is no real title available?)
• scientific article; zbMATH DE number 2213633 (Why is no real title available?)
• Set-theoretic semantics for Heyting's system Int

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