Inter-model connectives and substructural logics

DOI10.1007/978-3-319-06080-4_14MaRDI QIDQ5259665zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 4031648 (Why is no real title available?)
• scientific article; zbMATH DE number 4063064 (Why is no real title available?)
• scientific article; zbMATH DE number 724628 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Categorial inference and modal logic
• Classical relevant logics. II
• Dynamic epistemic logic
• Modal logic
• On the ternary relation and conditionality

Cited in

(1)

• From pair points to pairs of models

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)