A constructive semantics for non‐deducibility

DOI10.1002/malq.200710026zbMath1163.03033OpenAlexW1996871521MaRDI QIDQ5448614

Francesco Ciraulo

Publication date: 7 March 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

constructive mathematicsformal topologynon-deducibility

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Other constructive mathematics (03F65) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

A constructive investigation of satisfiability ⋮ Lindenbaum’s Lemma via Open Induction

Cites Work

• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A constructive semantics for non‐deducibility