scientific article; zbMATH DE number 1828003

zbMATH Open1011.03012MaRDI QIDQ4781806FDOQ4781806

Authors: Sergio A. Celani 

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)