A generalization of the Routley-Meyer semantic framework

DOI10.1007/S10992-014-9328-4zbMATH Open1329.03044OpenAlexW2032951832MaRDI QIDQ496325FDOQ496325

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

Recommendations

• scientific article
• 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.

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)

Cites Work

• Modal logic
• Algebraic methods in philosophical logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logica universalis. Towards a general theory of logic

Cited In (4)

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Title not available (Why is that?)
• 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)