Skip to main content
Have a personal or library account? Click to login
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms Cover

Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms

Formalized Mathematics
Volume 19 (2011): Issue 3 (September 2011)
By:   
Open Access
|Apr 2012
References

References

  1. Grzegorz Bancerek. Cardinal numbers., 1():377-382, 1990.
    Search in Google Scholar
  2. Grzegorz Bancerek. The fundamental properties of natural numbers., 1():41-46, 1990.
    Search in Google Scholar
  3. Grzegorz Bancerek. König's theorem., 1():589-593, 1990.
    Search in Google Scholar
  4. Grzegorz Bancerek. The ordinal numbers., 1():91-96, 1990.
    Search in Google Scholar
  5. Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences., 1():107-114, 1990.
    Search in Google Scholar
  6. Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets., 1():529-536, 1990.
    Search in Google Scholar
  7. Czesław Byliński. Functions and their basic properties., 1():55-65, 1990.
    Search in Google Scholar
  8. Czesław Byliński. Functions from a set to a set., 1():153-164, 1990.
    Search in Google Scholar
  9. Czesław Byliński. The modification of a function by a function and the iteration of the composition of a function., 1():521-527, 1990.
    Search in Google Scholar
  10. Marco B. Caminati. Preliminaries to classical first order model theory., 19():155-167, 2011, doi: 10.2478/v10037-011-0025-2.
    Open DOISearch in Google Scholar
  11. Marco B. Caminati. First order languages: Further syntax and semantics., 19():179-192, 2011, doi: 10.2478/v10037-011-0027-0.
    Open DOISearch in Google Scholar
  12. Agata Darmochwał. Finite sets., 1():165-167, 1990.
    Search in Google Scholar
  13. Katarzyna Jankowska. Transpose matrices and groups of permutations., 2():711-717, 1991.
    Search in Google Scholar
  14. Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relative primes., 1():829-832, 1990.
    Search in Google Scholar
  15. Beata Padlewska. Families of sets., 1():147-152, 1990.
    Search in Google Scholar
  16. W. Pohlers and T. Glaß. An introduction to mathematical logic., 93, 1992.
    Search in Google Scholar
  17. Marta Pruszyńska and Marek Dudzicz. On the isomorphism between finite chains., 9():429-430, 2001.
    Search in Google Scholar
  18. Andrzej Trybulec. Domains and their Cartesian products., 1():115-122, 1990.
    Search in Google Scholar
  19. Michał J. Trybulec. Integers., 1():501-505, 1990.
    Search in Google Scholar
  20. Zinaida Trybulec. Properties of subsets., 1():67-71, 1990.
    Search in Google Scholar
  21. Edmund Woronowicz. Relations and their basic properties., 1():73-83, 1990.
    Search in Google Scholar
  22. Edmund Woronowicz. Relations defined on sets., 1():181-186, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-011-0026-1 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 169 - 178
Published on: Apr 26, 2012
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics

© 2012 Marco Caminati, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 19 (2011): Issue 3 (September 2011)
Previous article
Next article