Results 21 to 30 of about 991,150 (298)
Intuitionistic Logic is a Connexive Logic
Studia Logica, 2023 AbstractWe show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is ...
davide fazio +2 more
openaire +6 more sources
Logicism, Neo-Logicism, and the Logics of Abstraction [PDF]
Russell: The Journal of Bertrand Russell Studies, 2023 Abstraction principles play a pivotal role in the foundations of mathematics. In the foundational programs in which they have been traditionally adopted, i.e. Frege’s logicism and Scottish neo-logicism, abstraction principles, conceived as definitions, augment a system of full higher-order logic.
Boccuni, Francesca, Sereni, Andrea
openaire +3 more sources
A second order logic of existence [PDF]
, 1969 Publisher's, offprint versionA. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and ...
Cocchiarella, Nino
core +1 more source
On Argumentation Logic and Propositional Logic [PDF]
Studia Logica, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kakas, Antonis C. +5 more
openaire +4 more sources
The road to modern logic - an interpretation [PDF]
, 2001 This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic.
Ferreirós Domínguez, José Manuel
core +1 more source
Experimental validation of a CeBr3 gamma-ray logging probe MCNP model [PDF]
EPJ Web of Conferences, 2023 Orano Mining has relied on Nuclear Measurement Laboratories for several years to estimate calibration factors for borehole radiometric probes. The total gamma count rate recorded with a NaI(Tl) scintillation detector (NGRS probe) is converted into ...
Marchais Thomas +11 more
doaj +1 more source
A post-style proof of completeness theorem for symmetric relatedness Logic S [PDF]
, 2018 One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem ...
Klonowski, Mateusz
core +2 more sources
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources