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

scientific article; zbMATH DE number 1828003

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

zbMATH Open1011.03012MaRDI QIDQ4781806FDOQ4781806


Authors: Sergio A. Celani Edit this on Wikidata


Publication date: 2 June 2003



Title of this publication is not available (Why is that?)



Recommendations

  • scientific article; zbMATH DE number 6287615
  • Bisimulation and logic
  • Boolean logics with relations
  • Simplified semantics for relevant logics (and some of their rivals)
  • scientific article; zbMATH DE number 2196588


zbMATH Keywords

fusionbisimulationBoolean relevant logic


Mathematics Subject Classification ID

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



Cited In (4)

  • A theorem prover for Boolean BI
  • Title not available (Why is that?)
  • A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER
  • BISIMULATIONS FOR KNOWING HOW LOGICS





This page was built for publication:

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

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