A Note on Gödel-Dummet Logic LC

DOI10.18778/0138-0680.2021.15zbMath1529.03178MaRDI QIDQ6043008

José M. Méndez, Gemma Robles

Publication date: 4 May 2023

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

intermediate logicsGödel-Dummet logic LC

Mathematics Subject Classification ID

Many-valued logic (03B50) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• A propositional calculus with denumerable matrix
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions

This page was built for publication: A Note on Gödel-Dummet Logic LC