From pair points to pairs of models

zbMATH Open1273.03028MaRDI QIDQ2856087FDOQ2856087

Authors: Igor Sedlár 

Publication date: 23 October 2013

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

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)

Cited In (3)

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