Certain properties of deducibility operators

DOI10.1007/BF01207711zbMath0795.03039OpenAlexW1977362709MaRDI QIDQ1326049

A. N. Degtev

Publication date: 13 July 1994

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01207711

zbMATH Keywords

preordersdeducibility operator

Mathematics Subject Classification ID

Computability and recursion theory (03D99) General logic (03B99)

Cites Work

• Unnamed Item
• A Theorem on Hypersimple Sets

This page was built for publication: Certain properties of deducibility operators