# Vilnis Detlovs's scientific contributions

**What is this page?**

This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.

It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.

If you're a ResearchGate member, you can follow this page to keep up with this author's work.

If you are this author, and you don't want us to display this page anymore, please let us know.

It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.

If you're a ResearchGate member, you can follow this page to keep up with this author's work.

If you are this author, and you don't want us to display this page anymore, please let us know.

## Publications (2)

NEW EDITION 2021: more and better motivations, chapter about tableaux method added, improved treatment of resolution method. [[[[[]]]]]Textbook for students in mathematical logic. Part 1. CONTENTS. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional a...

This is OLD Edition 2017. NEW Edition 2021 is available at https://www.researchgate.net/publication/349104699_Introduction_to_Mathematical_Logic_Edition_2021.

## Citations

... However, in certain cases, this condition would be impossible to satisfy for any combination of a neural network, encoding function and aggregation function. In particular, in first-order logic, the Lowenheim-Skolem theorem states that a knowledge base that admits a model of infinite cardinality has models of arbitrary cardinality Podnieks and Detlovs [2017]. This means that the collection of all models for many knowledge bases in first-order logic is not a set, but a proper class, whereas by definition M N must be a set. ...