Inter-model connectives and substructural logics

DOI10.1007/978-3-319-06080-4_14zbMATH Open1330.03056OpenAlexW97218729MaRDI QIDQ5259665FDOQ5259665

Igor Sedlár

Publication date: 29 June 2015

Published in: Recent Trends in Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06080-4_14

Recommendations

• From pair points to pairs of models
• scientific article; zbMATH DE number 1543335
• Kripke semantics for modal substructural logics
• Proper semantics for substructural logics, from a stalker theoretic point of view
• Informational interpretation of substructural propositional logics

zbMATH Keywords

ternary semanticspair modelssubstrucutral logics

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Classical relevant logics. II
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Dynamic epistemic logic
• Categorial inference and modal logic
• Title not available (Why is that?)
• On the ternary relation and conditionality
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Inter-model connectives and substructural logics

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