Results 1 to 10 of about 18,659 (118)
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
Bulletin of Symbolic Logic, 2008 AbstractThe last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics.The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them.
openaire +2 more sources
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
The Bulletin of Symbolic Logic, 2022 AbstractWe show that numerous distinctive concepts of constructive mathematics arise automatically from an “antithesis” translation of affine logic into intuitionistic logic via a Chu/Dialectica construction. This includes apartness relations, complemented subsets, anti-subgroups and anti-ideals, strict and non-strict order pairs, cut-valued metrics ...
openaire +4 more sources
Annals of the Japan Association for Philosophy of Science, 1963 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Reverse Mathematics: The Playground of Logic
The Bulletin of Symbolic Logic, 2010 AbstractThis paper is essentially the author's Gödel Lecture at the ASL Logic Colloquium '09 in Sofia extended and supplemented by material from some other papers. After a brief description of traditional reverse mathematics, a computational approach to is presented.
openaire +3 more sources