Zobrazeno 1 - 10
of 9 712
pro vyhledávání: '"abstract logic"'
Autor:
Jobczyk, Krystian, Dzamonja, Mirna
In 1969, Per Lindstrom proved his celebrated theorem characterising the first-order logic and established criteria for the first-order definability of formal theories for discrete structures. K. J. Barwise, S. Shelah, J. Vaananen and others extended
Externí odkaz:
http://arxiv.org/abs/2302.13412
Publikováno v:
In Cognition September 2021 214
Autor:
Väänänen, Jouko
Publikováno v:
The Journal of Symbolic Logic, 1982 Jun 01. 47(2), 335-346.
Externí odkaz:
https://www.jstor.org/stable/2273145
Autor:
Smith, Henry Bradford
Publikováno v:
Philosophy of Science, 1934 Oct 01. 1(4), 369-397.
Externí odkaz:
https://www.jstor.org/stable/184639
Autor:
Kneebone, G. T.
Publikováno v:
Proceedings of the Aristotelian Society, 1955 Jan 01. 56, 25-44.
Externí odkaz:
https://www.jstor.org/stable/4544555
Publikováno v:
Cognition. 214:104790
When children learn to count, do they understand its logic independent of the number list that they learned to count with? Here we tested CP-knowers' (ages three to five) understanding of how counting reveals a set's cardinality, even when non-numeri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39a3859bdb92e44b7cb9f207e8729d81
https://doi.org/10.1016/j.cognition.2021.104790
https://doi.org/10.1016/j.cognition.2021.104790
Autor:
Voutsadakis, George1 gvoutsad@lssu.edu
Publikováno v:
Bulletin of the Section of Logic. 2016, Vol. 45 Issue 2, p111-124. 14p.
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 17:249-263
Component based development is gaining increasing popularity for agile system development through reuse of existing asset. To make this approach effective enough to implement, the paradigm of "solution = components + composition logic" should be succ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19685094c4b4a4824e6931a37d987fb0
https://doi.org/10.1142/s0218194007003227
https://doi.org/10.1142/s0218194007003227
Autor:
George Voutsadakis
Publikováno v:
Bulletin of the Section of Logic. 45
Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions. We show that the π-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5c54679035c1679d0d09b0b086a2694
https://doi.org/10.18778/0138-0680.45.2.04
https://doi.org/10.18778/0138-0680.45.2.04