On Kreisel's notion of validity in Post systems

DOI10.1007/BF02282491zbMath0363.02027MaRDI QIDQ1240221

Dov M. Gabbay

Publication date: 1976

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

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Intuitionistic mathematics (03F55) Thue and Post systems, etc. (03D03) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An approach to logical calculus
• What is a Classical Connective?
• Applications of trees to intermediate logics

This page was built for publication: On Kreisel's notion of validity in Post systems