Standard Completeness Theorem for PMTL Logic

From Mathfuzzlog
Jump to: navigation, search
Authors:
Rostislav Horčík
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