Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran; Rašković, Miodrag On evaluations of propositional formulas in countable structures. (English) Zbl 06749656 Filomat 30, No. 1, 1-13 (2016). MSC: 03B80 Other applications of logic Keywords:axiomatization; strong completeness; weighted formulas PDF BibTeX XML Cite \textit{A. Perović} et al., Filomat 30, No. 1, 1--13 (2016; Zbl 06749656) Full Text: DOI