Abstract Consistency Properties

MaRDI QIDQ7361171FDO

Authors Asta Halkjær From, Anders Schlichtkrull

Publication date 26 March 2026

Cites work

• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• Abstract, compositional consistency: Isabelle/HOL locales for completeness à la fitting
• Unnamed Publication
• Unnamed Publication
• Prior's ideal language
• Synthetic completeness for a terminating Seligman-style tableau system

This page was built for software: Abstract Consistency Properties