[Russian Text Ignored]

DOI10.1002/MALQ.19850311408zbMATH Open0553.03002OpenAlexW4238001584MaRDI QIDQ5896510

Jānis Cīrulis

Publication date: 1985

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19850311408

zbMATH Keywords

strong completeness theoremLeśniewski- style epsilonpartial many-valued functionssemi-logical predicate

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical first-order logic (03B10) Categoricity and completeness of theories (03C35)

This page was built for publication: [Russian Text Ignored]