Zobrazeno 1 - 10
of 207
pro vyhledávání: '"General set theory"'
Autor:
Dirk, Lynn
Publikováno v:
Social Studies of Science, 1999 Oct 01. 29(5), 765-776.
Externí odkaz:
https://www.jstor.org/stable/285800
Autor:
Boolos, George
Publikováno v:
Proceedings of the Aristotelian Society, 1986 Jan 01. 87, 137-151.
Externí odkaz:
https://www.jstor.org/stable/4545060
Autor:
Street, Robert E.
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 1941 Aug . 27(8), 413-417.
Externí odkaz:
https://www.jstor.org/stable/87012
Autor:
Bernays, Paul
Publikováno v:
The Journal of Symbolic Logic, 1943 Dec 01. 8(4), 89-106.
Externí odkaz:
https://www.jstor.org/stable/2271051
Autor:
Bernays, Paul
Publikováno v:
The Journal of Symbolic Logic, 1942 Dec 01. 7(4), 133-145.
Externí odkaz:
https://www.jstor.org/stable/2268110
Publikováno v:
International Journal of General Systems. 46:332-353
Axiomatic characterization is the foundation of L-fuzzy rough set theory: the axiom sets of approximation operators guarantee the existence of L-fuzzy relations or L-fuzzy coverings that reproduce the approximation operators. Axiomatic characterizati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20b4e9bbe45a73551f9ceb87d3e73736
https://doi.org/10.1080/03081079.2017.1308360
https://doi.org/10.1080/03081079.2017.1308360
Autor:
Ethan Brauer
Publikováno v:
Journal of Philosophical Logic. 47:123-142
Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::132ec41a5e129332d5d747c5770215ac
https://doi.org/10.1007/s10992-016-9422-x
https://doi.org/10.1007/s10992-016-9422-x
Publikováno v:
Theoretical Computer Science. 609:639-657
To specify and verify multi-core parallel programs in a uniform framework, this paper proposes an axiom system for CCM-PPTL which extends that of PPTL by including transformation rules for sequence expressions and axioms as well as inference rules on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::039692249b35592852d647dedec310ab
https://doi.org/10.1016/j.tcs.2015.05.007
https://doi.org/10.1016/j.tcs.2015.05.007
Autor:
John Donnelly
Publikováno v:
Journal of Geometry. 106:541-550
We show that if we start with an absolute plane, remove Side–Angle–Side as an axiom and replace it with Side–Side–Side as a new axiom, then the new resulting axiom system is also an absolute plane. In particular, we show that Side–Angle–S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c21501b06ebe84ba0d750888dd144566
https://doi.org/10.1007/s00022-015-0264-4
https://doi.org/10.1007/s00022-015-0264-4
Autor:
Paul Bernays
The reader of Part VI will have noticed that among the set-theoretic models considered there some models were missing which were announced in Part II for certain proofs of independence. These models will be supplied now.Mainly two models have to be c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4df795c6f8314b40ef14b06141378c82
http://doc.rero.ch/record/301843/files/S0022481200087570.pdf
http://doc.rero.ch/record/301843/files/S0022481200087570.pdf
