Syntactical investigations into BI logic and BB^ I logic
DOI10.1007/BF01057936zbMATH Open0813.03015MaRDI QIDQ1337604FDOQ1337604
Authors: Yuichi Komori 
Publication date: 10 November 1994
Published in: Studia Logica (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 47660
- Bi-intuitionistic logics: a new instance of an old problem
- Bisimulation and propositional intuitionistic logic
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
- Bilattices and the semantics of logic programming
- A proof-theoretic study of bi-intuitionistic propositional sequent calculus
- Bialgebraic semantics for logic programming
- Relating sequent calculi for bi-intuitionistic propositional logic
- Programming Languages and Systems
- Bilattice logics and demi-negation
substructural logiccut eliminationimplicational logicsrelevant logicsyntactical proof of a positive solution for the P-W problem
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
Cited In (9)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- ON EQUATIONAL COMPLETENESS THEOREMS
- The fundamental S-theorem - A corollary
- Title not available (Why is that?)
- Self-implications in BCI
- A lambda proof of the P-W theorem
This page was built for publication: Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337604)
