A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus

DOI10.1002/MALQ.19870330214zbMATH Open0643.03017OpenAlexW2171040645MaRDI QIDQ3784050

Alan Rose

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330214

zbMATH Keywords

finite axiomatization5-valued matrix

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (1)

A Strongly Complete Formalisation of a 5-Valued Propositional Calculus

This page was built for publication: A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus