\(\mathrm{SIXTEEN}_3\) in light of routley stars

DOI10.1007/978-3-662-59533-6_31OpenAlexW2952376843MaRDI QIDQ2303614

Hitoshi Omori, Daniel Skurt

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_31

zbMATH Keywords

FDEDunn semantics\(\mathrm{SIXTEEN}_3\)routley star

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic ⋮ SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

This page was built for publication: \(\mathrm{SIXTEEN}_3\) in light of routley stars