Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-9-28

Stateful authorization logic – Proof theory and a case study

Deepak Garg, Frank Pfenning

Journal of Computer Security

Retricted access

Research article

First published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2025-10

Reframing judicial proof: Insights from dialectical argumentation theory

Bin Wei

The International Journal of Evidence & Proof

Retricted access

Research article

First published 2007-7

On the ‘Proof’ of Assumptions in the Basic Theories of Bending and Torsion

Sinniah Ilanko

International Journal of Mechanical Engineering Education

Retricted access

Research article

First published 2019-4

How plausible is the relative plausibility theory of proof?

Ho Hock Lai

The International Journal of Evidence & Proof

Retricted access

Research article

First published 2025-7

Skirmishing toward a general theory of evidence and proof

Kevin M. Clermont

The International Journal of Evidence & Proof

Retricted access

Research article

First published 2012-4

A group theory of group theory: Collaborative mathematics and the ‘uninvention’ of a 1000-page proof

Alma Steingart

Social Studies of Science

Retricted access

Research article

First published 1977-04

Residual Strength Degradation Model and Theory of Periodic Proof Tests for Graphite/Epoxy Laminates*

J.N. Yang, M.D. Liu

Journal of Composite Materials

Retricted access

Research article

First published 2019

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

Carlos G. Lopez Pombo, Pablo F. Castro, Nazareno M. Aguirre [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019-4

One small step towards a metatheory of evidence and proof

Frederick Schauer

The International Journal of Evidence & Proof

Search results