Sahlqvist formulas are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that every Sahlqvist formula...
5 KB (876 words) - 08:16, 11 September 2024
sufficient condition: Henrik Sahlqvist identified a broad class of formulas (now called Sahlqvist formulas) such that a Sahlqvist formula is canonical, the class...
34 KB (4,769 words) - 21:50, 25 October 2024
sufficient condition: H. Sahlqvist identified a broad class of formulas (now called Sahlqvist formulas) such that: a Sahlqvist formula is canonical, the class...
50 KB (6,472 words) - 21:34, 22 October 2024
Finitism Ultraintuitionism Luitzen Egbertus Jan Brouwer Kripke semantics Sahlqvist formula Interior algebra First-order resolution Automated theorem proving...
14 KB (1,012 words) - 19:53, 12 November 2023
(differential topology) Saccheri–Legendre theorem (absolute geometry) Sahlqvist correspondence theorem (modal logic) Saint-Venant's theorem (physics)...
73 KB (6,030 words) - 15:22, 20 October 2024