Results 71 to 80 of about 100,437 (202)
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
General aggregation problems and social structure: A model-theoretic generalisation of the Kirman-Sondermann correspondence [PDF]
This article proves a very general version of the Kirman-Sondermann [Journal of Economic Theory, 5(2):267-277, 1972] correspondence by extending the methodology of Lauwers and Van Liedekerke [Journal of Mathematical Economics, 24(3):217-237, 1995].
Daniel Eckert, Frederik Herzberg
core
Representational change is integral to reasoning. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Bundy A, Li X.
europepmc +1 more source
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. [PDF]
PeerJ Comput Sci, 2023 García V +4 more
europepmc +1 more source
Hypatia's silence. Truth, justification, and entitlement. [PDF]
Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics.
Fischer, Martin +2 more
core
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source
Identity, individuality and indistinguishability in physics and mathematics. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Catren G.
europepmc +1 more source
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source