scientific article; zbMATH DE number 7297101
From MaRDI portal
Publication:5144357
zbMath1452.03067MaRDI QIDQ5144357
Publication date: 15 January 2021
Full work available at URL: https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-33-number-3-2019/mvlsc-33-3-p-239-270/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sequent calculuscompleteness theoremphase semanticscut-elimination theoremmultilatticemultilattice logicsubstructual logic
Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (2)
Provability multilattice logic ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some useful 16-valued logics: How a computer network should think
- Decision problems for propositional linear logic
- Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
- Modal multilattice logic
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- A hierarchy of weak double negations
- Embedding from multilattice logic into classical logic and vice versa
- Truth, Falsehood, Information and Beyond: The American Plan Generalized
- Constructible falsity and inexact predicates
- The Trilattice of Constructive Truth Values
- Trilattice logic: an embedding-based approach
- Constructible falsity
This page was built for publication:
