Intuitionistic semantics of relevant consequence relation

MaRDI QIDQ3567763zbMATH OpenFDO

Authors Dmitry V. Zaitsev

Publication date 17 June 2010

zbMATH Keywords

informational semanticsrelevant entailmentapproximation latticebilattice FOURtrue entailment

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• A theory of logical relevance
• Relevant logic and the theory of information
• A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment
• Intuitive semantics for first-degree entailment and `coupled trees'
• Intuitionism and relevance

Cited in

(4)

• Generalized truth values.: A reply to Dubois
• scientific article; zbMATH DE number 1975398 (Why is no real title available?)
• Tarskian Structured Consequence Relations and Functional Completeness
• A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment

This page was built for publication: Intuitionistic semantics of relevant consequence relation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3567763)