An Outline for a Relevance Completeness Proof of the U4 Logic System

2026 Open access

Read full text
Authors: Graeme Heald
DOI: 10.13140/rg.2.2.35638.36165
Cited by: 0

Fields of Study & Subjects

Advanced Algebra and Logic Logic Reasoning and Knowledge Advanced Topology and Set Theory

Publication details

Publication date
1 January 2026
Language
EN