From pair points to pairs of models

MaRDI QIDQ2856087zbMATH OpenFDO

Authors Igor Sedlár

Publication date 23 October 2013

zbMATH Keywords

substructural logicsaccessibility relationspair points

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Inter-model connectives and substructural logics
• Generalized Kripke frames
• scientific article; zbMATH DE number 1543335
• Kripke semantics for modal substructural logics
• Models for relevant modal logics

Cited in

(3)

• scientific article; zbMATH DE number 4039865 (Why is no real title available?)
• Elementary pairs of models
• Inter-model connectives and substructural logics

This page was built for publication: From pair points to pairs of models

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