A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic

DOI10.1007/BF00370164zbMath0718.03015MaRDI QIDQ2639047

Beata Konikowska

Publication date: 1990

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

zbMATH Keywords

Kleene's three-valued logicdeduction systemformal language of two-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (1)

A natural deduction system for first degree entailment

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic