Results 31 to 40 of about 100,437 (202)

Definiteness-indefiniteness category and logical quantification

Cognitive Studies | Études cognitives, 2015
Definiteness-indefiniteness category and logical quantification This work has been written within the “Logic and Language” project, realized under a cooperation agreement between the Institute of Slavic Studies of the Polish Academy of Sciences and the
Violetta Koseska-Toszewa
doaj   +1 more source

Finite predicate-driven logic networks method for enhanced education data analysis

Радіоелектронні і комп'ютерні системи
The subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj   +1 more source

Formal Methods Unifying Computing Science and Systems Theory [PDF]

Journal of Systemics, Cybernetics and Informatics, 2005
Computing Science and Systems Theory can gain much from unified mathematical models and methodology, in particular formal reasoning ("letting the symbols do the work"). This is achieved by a wide-spectrum formalism. The language uses just four constructs,
Raymond Boute
doaj  

Formal Language for Objects’ Transactions

Standards
The gap between software design and implementation often results in a lack of clarity and precision. Formal languages, based on mathematical rules, logic, and symbols, are invaluable for specifying and verifying system designs.
Mo Adda
doaj   +1 more source

G\"odel's Notre Dame Course

, 2016
This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel's unpublished notes for the elementary logic course he gave at the University of Notre ...
Adzic, Milos, Dosen, Kosta
core   +1 more source

Quotient-Comprehension Chains [PDF]

, 2015
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in ...
Cho, K., Heunen, C., Jacobs, B., Westerbaan, B., Westerbaan, Bas   +4 more
core   +3 more sources

Teaching Students to Understand Knowledge: Stress‐Testing the ‘Justified True Belief Account’ for Critical Thinking

Future in Educational Research, EarlyView.
ABSTRACT This conceptual essay, grounded in a close reading of Plato's Theaetetus, argues that before educators can effectively operationalise critical thinking as the rigorous evaluation ('stress‐testing') of competing knowledge claims, university students must first understand foundational epistemological principles rooted in Plato's tripartite ...
Gerry Dunne
wiley   +1 more source

Changing a semantics: opportunism or courage?

, 2014
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov, A. Gil-Luezas, A. Mann, A. Mostowski, A. Pasztor, B. Davey, B. Ganter, B. Jónsson, B. ten Cate, D. Cantone, D. Gallin, D. Harel, D. Hilbert, D. Kozen, E. Bishop, E. Lopez-Escobar, G. Bezhanishvili, G. Sambin, H. Andréka, H. Andréka, H. Andréka, H. Andréka, H. Enderton, H.-D. Ebbinghaus, H.A. Priestley, H.A. Priestley, I. Walukiewicz, J. Akkanen, J. Barwise, J. Barwise, J. Barwise, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Hintikka, J. Madarász, J. Väänänen, J. Väänänen, J. Väänänen, K. Kunen, L. Csirmaz, L. Esakia, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Humberstone, L. Santocanale, L. Santocanale, M. Dunn, M. Dunn, M. Gehrke, M. Kracht, M. Manzano, M. Manzano, M.O. Rabin, N. Bezhanishvili, N. Bezhanishvili, N. Galatos, P. Blackburn, P. Hájek, R. Kaye, R. Montague, R.L. Vaught, S. Ambler, S. Feferman, S. Simpson, S.K. Thomason, T. Gergely, T. Hyttinen, V. Marra, V. Stebletsova, W. Blok, W. Holliday, W. Walkoe, Y. Venema, Y. Venema   +84 more
core   +1 more source

Assortment Planning in Omnichannel Retailing Under Product Returns and Showcase Capacity

Naval Research Logistics (NRL), EarlyView.
ABSTRACT We investigate the assortment planning decisions of a retailer that operates an online sales channel and a brick‐and‐mortar store. We explicitly investigate the impact of product returns, which is a norm in modern retailing and a factor for lost profit.
Amin Aslani, Osman Alp
wiley   +1 more source