A generalization of the Routley-Meyer semantic framework

DOI10.1007/S10992-014-9328-4MaRDI QIDQ496325zbMATH OpenOpenAlexFDO

Authors Morgan Thomas

Publication date 21 September 2015

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-014-9328-4

zbMATH Keywords

intuitionistic logicmodel theoryclassical logicrelevant logicsRoutley-Meyer semanticsGRM logicsuniversal logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 5997451
• A generalization of inquisitive semantics
• A general approach to the construction of semantics and its methodological foundations
• scientific article; zbMATH DE number 4035794
• scientific article; zbMATH DE number 1670908
• Semantic foundations for generalized rewrite theories
• A framework for distributional formal semantics
• A Generic Framework for Higher-Order Generalizations.

Cites work

• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 753774 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Algebraic methods in philosophical logic
• Logica universalis. Towards a general theory of logic
• Modal logic

Cited in

(4)

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• scientific article; zbMATH DE number 7655656 (Why is no real title available?)
• On Sahlqvist formulas in relevant logic
• Towards a semantic theory of CML

This page was built for publication: A generalization of the Routley-Meyer semantic framework

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