Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

A class of simpler logical matrices for the variable-sharing property

From MaRDI portal
Publication:3105693
Jump to:navigation, search

zbMATH Open1254.03045MaRDI QIDQ3105693FDOQ3105693


Authors:


Publication date: 5 January 2012





Recommendations

  • A general characterization of the variable-sharing property by means of logical matrices
  • Variable sharing in substructural logics: an algebraic characterization
  • On reduced matrices
  • Pure variable inclusion logics
  • \(n\)-valued matrices for the classical propositional logic


zbMATH Keywords

logical matricesvariable sharing


Mathematics Subject Classification ID

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



Cited In (5)

  • A general characterization of the variable-sharing property by means of logical matrices
  • The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
  • Varieties of Relevant S5
  • Revisiting Semilattice Semantics
  • What is a relevant connective?





This page was built for publication: A class of simpler logical matrices for the variable-sharing property

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3105693&oldid=16188268"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 21:50. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki