Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
From MaRDI portal
Publication:2062192
DOI10.1007/s11225-020-09939-6OpenAlexW3158246807MaRDI QIDQ2062192
Publication date: 27 December 2021
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-020-09939-6
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cut elimination and word problems for varieties of lattices
- Some useful 16-valued logics: How a computer network should think
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Intuitionistic logic with strong negation
- From basic logic to quantum logics with cut-elimination
- The value of the four values
- Four-valued logic
- Proof theory of paraconsistent quantum logic
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Embedding from multilattice logic into classical logic and vice versa
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Truth, Falsehood, Information and Beyond: The American Plan Generalized
- Constructible falsity and inexact predicates
- Basic logic: reflection, symmetry, visibility
- The Trilattice of Constructive Truth Values
- Order-dual relational semantics for non-distributive propositional logics
- Modal and temporal extensions of non-distributive propositional logics
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach
- The geometry of non-distributive logics
- Constructible falsity
This page was built for publication: Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
