Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-12

Logical Undecidabilities Made Easy

Daniel Leivant

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Intersection Types from a Proof-theoretic Perspective

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi

Fundamenta Informaticae

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 2012-12

Determinants of the Attempting and Outcome of Coups d’état

Jonathan Powell

Journal of Conflict Resolution

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 2019-4

On the limitations of a unitary model of the proof process

Emily Spottswood

The International Journal of Evidence & Proof

Retricted access

Research article

First published 1987

Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science

Irène Guessarian

Fundamenta Informaticae

Retricted access

Editorial

First published 1975-8

Disengagement Theory Revisited

Elizabeth W. Markson

The International Journal of Aging and Human Development

Retricted access

Review article

First published 2013-7

Regime Stability in Post-1986 Uganda

Sabastiano Rwengabo

Armed Forces & Society

Retricted access

Research article

First published 2003-2

Proving Nets Correct via Cause-Effect Structures (An Experiment)

Ludwik Czaja

Fundamenta Informaticae

Search results