Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
type: Item
instance of: scholarly article
title: Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
author: Norihiro Kamide
published in: Studia Logica
publication date: 2021-12-27T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7450671
zbMATH Keywords: multilattice logic
zbMATH Keywords: monosequent calculus
zbMATH Keywords: completeness theorem
MaRDI profile type: Publication
full work available at URL: s11225-020-09939-6
OpenAlex ID: W3158246807
cites work: Constructible falsity and inexact predicates
cites work: Reasoning with logical bilattices
cites work: The value of the four values
cites work: Q3858244
cites work: Q4585824
cites work: Four-valued logic
cites work: Finite sum-product logic
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Algebraic methods in philosophical logic
cites work: From basic logic to quantum logics with cut-elimination
cites work: Intuitionistic logic with strong negation
cites work: Modal and temporal extensions of non-distributive propositional logics
cites work: Order-dual relational semantics for non-distributive propositional logics
cites work: Q3093482
cites work: Proof theory of paraconsistent quantum logic
cites work: Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach
cites work: Q5869680
cites work: Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
cites work: Embedding from multilattice logic into classical logic and vice versa
cites work: Cut elimination and word problems for varieties of lattices
cites work: Constructible falsity
cites work: Q5483303
cites work: Q3858239
cites work: The geometry of non-distributive logics
cites work: Basic logic: reflection, symmetry, visibility
cites work: Truth, Falsehood, Information and Beyond: The American Plan Generalized
cites work: The Trilattice of Constructive Truth Values
cites work: Some useful 16-valued logics: How a computer network should think
cites work: The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
cites work: Q5813184
cites work: A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
DOI: 10.1007/S11225-020-09939-6
Recommended article: Q5224669
Recommended article: Q3435245
Recommended article: Sequent calculi for propositional nonmonotonic logics
Recommended article: Dualities between alternative semantics for logic programming and nonmonotonic reasoning
Recommended article: Q4529960
Recommended article: A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
Recommended article: Q5144357
Recommended article: Second-order propositional modal logic and monadic alternation hierarchies
Recommended article: Q4282535
Recommended article: A multi-labelled sequent calculus for Topo-Logic
description: scientific article; zbMATH DE number 7450671