Results 121 to 130 of about 132 (130)

Mechanizing Proofs about Mendler-style Recursion

2016
Brigitte Pientka, Andrew Cave
exaly  

Logical implications as mathematical objects: Characterizing epistemological obstacles experienced in introductory proofs courses

Journal of Mathematical Behavior
Anderson Norton, Joseph Antonides
exaly  

The logical status of thermodynamic proofs of mathematical theorems

Physics Letters, Section A: General, Atomic and Solid State Physics, 1981
exaly  

Logical Consequence via Proofs

2020
exaly  

Scaffolds for seeing, using, and articulating logical structures in proofs: Design research study with high school students

Journal of Mathematical Behavior
Susanne Prediger
exaly  

Logical and emotional proofs: A counter‐view

Communication Education, 1968
exaly  

On the Logical Structure of Proofs for the Existence of God [Fragments]

2003
exaly  

Experienced provers’ operative logical principles for evaluating proofs of conditional claims

Journal of Mathematical Behavior
Paul Dawkins, Kyeong Hah Roh
exaly  

CHAPTER 12. Belief in God: The Classical Approach in the Middle Ages, Halevi’s Critique, and the Problems with the Logical Proofs

2019
exaly  

Proofs and Logical Arguments Supporting the Foundational Laws of Physics

exaly