Bilattice logic properly displayed

DOI10.1016/j.fss.2018.05.007zbMath1423.03079arXiv1709.02167OpenAlexW2964333818WikidataQ129795409 ScholiaQ129795409MaRDI QIDQ2328914

Alessandra Palmigiano, Fei Liang, Giuseppe Greco, Umberto Rivieccio

Publication date: 16 October 2019

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.02167

zbMATH Keywords

cut eliminationsubstructural logicsmany-valued logicssequent calculinon-classical logicsalgebraic proof theorydisplay calculimulti-type calculibilattice logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (7)

Linear Logic Properly Displayed ⋮ Syntactic Completeness of Proper Display Calculi ⋮ A duality for two-sorted lattices ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Monoidal logics: completeness and classical systems ⋮ Semi De Morgan logic properly displayed ⋮ Proper multi-type display calculi for rough algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bilattices with implications
• Varieties of interlaced bilattices
• The value of the four values
• Lattice logic properly displayed
• Multi-type display calculus for semi De Morgan logic
• Bitopology and four-valued logic
• Software tool support for modular reasoning in modal logics of actions
• Displaying modal logic
• Display logic
• Reasoning with logical bilattices
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Validity concepts in proof-theoretic semantics
• A Multi-type Calculus for Inquisitive Logic
• Dynamic Epistemic Logic Displayed
• A proof-theoretic semantic analysis of dynamic epistemic logic
• Multi-type display calculus for propositional dynamic logic
• Four-valued modal logic: Kripke semantics and duality
• The logic of distributive bilattices
• ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
• How a Computer Should Think
• Non-involutive twist-structures
• A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION
• Belnap's Four-Valued Logic and De Morgan Lattices
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Unified correspondence as a proof-theoretic tool
• Unified Correspondence
• Kripke Semantics for Modal Bilattice Logic
• Power and Limits of Structural Display Rules
• Bounded lattice expansions

This page was built for publication: Bilattice logic properly displayed