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

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

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

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)