A property of sentences that define quasi-order

DOI10.1305/NDJFL/1093958753zbMath0172.00803OpenAlexW1994271508MaRDI QIDQ2531921

Melven R. Krom

Publication date: 1966

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093958753

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

The decision problem for formulas in prenex conjunctive normal form with binary disjunctions ⋮ Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

This page was built for publication: A property of sentences that define quasi-order