Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications in Logic

GAMES OF LENGTH Ω1

Journal of Mathematical Logic
Logic
2007English

RSL Volume 2 Issue 4 Cover and Back Matter

Review of Symbolic Logic
MathematicsPhilosophyLogic
2009English

Reactive Preferential Structures and Nonmonotonic Consequence

Review of Symbolic Logic
MathematicsPhilosophyLogic
2009English

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

Fixed-Point Extensions of First-Order Logic

Annals of Pure and Applied Logic
Logic
1986English

Deterministic Automata Simulation, Universality and Minimality

Annals of Pure and Applied Logic
Logic
1997English

Compactness in Locales and in Formal Topology

Annals of Pure and Applied Logic
Logic
2006English

<mml:math Altimg="si1.gif" Display="inline" Overflow="scroll" Xmlns:xocs=" Xmlns:xs=" Xmlns:xsi=" Xmlns=" Xmlns:ja=" Xmlns:mml=" Xmlns:tb=" Xmlns:sb=" Xmlns:ce=" Xmlns:xlink=" Xmlns:cals=" Exponential-Logarithmic Power Series Fields

Annals of Pure and Applied Logic
Logic
2005English

A Quantified Logic of Evidence

Annals of Pure and Applied Logic
Logic
2008English

A New System of Proof-Theoretic Ordinal Functions

Annals of Pure and Applied Logic
Logic
1986English
  • ‹
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • ›

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy