Standard Completeness Theorem for PMTL Logic
From Mathfuzzlog
Authors: |
| |
Title: | Standard Completeness Theorem for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \Pi} MTL Logic | |
Journal: | Archive for Mathematical Logic | |
Volume | 44 | |
Number | 4 | |
Pages: | 413-424 | |
Year: | 2005 |