Interpolation in 16-valued trilattice logics

DOI10.1007/s11225-017-9742-zzbMath1437.03100DBLPjournals/sLogica/MuskensW18OpenAlexW2749645737WikidataQ59514361 ScholiaQ59514361MaRDI QIDQ1744000

Stefan Wintein, Reinhard A. Muskens

Publication date: 16 April 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9742-z

zbMATH Keywords

interpolation16-valued logicmultiple tree calculustrilattice SIXTEEN\(_3\)

Mathematics Subject Classification ID

Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
• Gentzenization of trilattice logics
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• Interpolation theorem in many-valued logics with designated values
• On axiomatizing Shramko-Wansing's logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• A non-inferentialist, anti-realistic conception of logical truth and falsity
• The logic of generalized truth values and the logic of bilattices
• Representation of interlaced trilattices

This page was built for publication: Interpolation in 16-valued trilattice logics