Results 41 to 50 of about 2,335,588 (204)
A different approach to logic [PDF]
, 2013 The paper is about an approach to logic that differs from the standard first-order logic and other known approaches. It should be a new approach the author has created proposing to obtain a general and unifying approach to logic and a faithful model of ...
Avon, Mauro
core
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
Counterfactual Logic and the Necessity of Mathematics [PDF]
Journal of Philosophical Logic, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Mathematical Facts in a Physicalist Ontology [PDF]
, 2012 If physicalism is true, everything is physical. In other words, everything supervenes on, or is necessitated by, the physical. Accordingly, if there are logical/mathematical facts, they must be necessitated by the physical facts of the world.
Szabo, Laszlo E.
core +1 more source
Measures and Stability in a Model, revisited
Қарағанды университетінің хабаршысы. Математика сериясыThis article is written in honor of the 8th Kazakh–French Logical Colloquium. We expand on an unpublished research note of the second author. We record some results concerning local Keisler measures with respect to a formula which is stable in a model ...
C.M.B.J. D’Elb´ee, K.A.C. Gannon
doaj +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
Pengaruh Kecerdasan Logika Matematika Terhadap Disposisi Matematis Siswa
JRPM (Jurnal Review Pembelajaran Matematika), 2019 This study aims to determine the influence of logic smart on students' mathematical dispositions. The method is quantitative with ex post facto approach — the population of class XI MIPA MAN 2 Cirebon and three samples taken by random sampling.
Anah Maemanah, Widodo Winarso
doaj +1 more source
On the Family of Conditional Embedded Implicational Dependencies [PDF]
Computer Science Journal of Moldova, 1996 Certain second-order sentences, called conditional embedded implicational dependencies, about relations in a relational database, are defined and studied. This class of dependencies includes some of previously defined dependencies as special cases. Thus,
Victor Felea
doaj
Methodos, 2009 What is the path in Husserl that takes us from formal to transcendental logic? Does it follow Kant’s course from “general logic” to “transcendental logic”, or does the mathematical character of modern logic divest it of the possibility of serving as a ...
James Dodd
doaj +1 more source