Name
Abstract | ||
|---|---|---|
Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindström and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary chains. |
Year | DOI | Venue |
|---|---|---|
2016 | https://doi.org/10.1007/s11225-016-9664-1 | Studia Logica |
Keywords | Field | DocType |
Bi-intuitionistic logic,Van Benthem’s characterization theorem,Directed bisimulations,Model theory | Intuitionistic logic,Discrete mathematics,Algebra,Minimal logic,Truth value,Zeroth-order logic,Algorithm,Many-valued logic,Intermediate logic,Dynamic logic (modal logic),Mathematics,Higher-order logic | Journal |
Volume | Issue | ISSN |
104 | 5 | 0039-3215 |
Citations | PageRank | References |
1 | 0.38 | 3 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| guillermo badia | 1 | 5 | 5.53 |