Advances in the LP and LP1/2 logics

From Mathfuzzlog
Jump to: navigation, search
Authors:
Petr Cintula
Title: Advances in the LFailed 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} and LFailed 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\tfrac{1}{2}} logics
Journal: Archive for Mathematical Logic
Volume 42
Number 5
Pages: 449-468
Year: 2003