Results 11 to 20 of about 30,687 (265)
The modal logic of Reverse Mathematics [PDF]
Archive for Mathematical Logic, 2015 The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way. We use techniques of modal logic to formalize the logic of Reverse Mathematics into a system that we name s-logic.
Carl Mummert
exaly +4 more sources
Counterfactual Logic and the Necessity of Mathematics [PDF]
Journal of Philosophical Logic, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Samuel Elgin
exaly +2 more sources
Clustering Productive Palm Land using the K- Means Clustering Algorithm
Journal of Innovation Information Technology and Application, 2023 Indonesia is a country with a tropical climate that has many oil palm plantations. CV. Alkema Deo is one of the companies that manage oil palm plantations in Sampit City, East Kotawaringin Regency, Central Kalimantan. CV.
Geofanny Widianto Sihite +1 more
doaj +1 more source
Cumhuriyet İlahiyat Dergisi, 2016 “Mantık - Matematik ilişkisi bağlamında geçerli kıyas kalıplarının Venn şeması ile gösterimi ve yorumlanması” adını taşıyan bu çalışmada kıyas kalıplarını matematiksel bir gösterim şekli ile daha sembolik hale getirmeye ve farklı bir bakış açısı sunmaya ...
Kamil Kömürcü, Halit Kıras
doaj +1 more source
Conceptual models of the quality control process
Mathematical Modelling and Analysis, 2000 This paper discusses issues of conceptual modelling of the product quality control process. Special attention is paid to the quality inspection. This process can be considered as a kind of product sorting the aim of which is to identify the product ...
A. Ribikauskas +2 more
doaj +1 more source
Normativity and its vindication: The case of Logic [PDF]
, 2004 Physical laws are irresistible. Logical rules are not. That is why logic is said to be normative. Given a system of logic we have a Norma, a standard of correctness.
Martínez Vidal, Concha +1 more
core +1 more source
Games as mathematics of logic and computation [PDF]
, 2019 Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism.
Yamada, Norihiro
core +2 more sources
An Introduction to Partition Logic [PDF]
, 2013 Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given ...
Ellerman, David
core +1 more source
Hilary Putnam on logic and mathematics [PDF]
, 2018 This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics ...
Cook, Roy, Hellman, Geoffrey
core +1 more source
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source