Syntactical investigations into BI logic and BB^ I logic
From MaRDI portal
(Redirected from Publication:1337604)
Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
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
Cites work
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- Logics without the contraction rule
- Predicate logics without the structure rules
- Proof theory
- Solution to the P − W problem
- Untersuchungen über das logische Schliessen. I
Cited in
(9)- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- scientific article; zbMATH DE number 1471988 (Why is no real title available?)
- scientific article; zbMATH DE number 1482997 (Why is no real title available?)
- ON EQUATIONAL COMPLETENESS THEOREMS
- The fundamental S-theorem - A corollary
- Self-implications in BCI
- scientific article; zbMATH DE number 2024615 (Why is no real title available?)
- 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)