Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications in Logic

Is Logic All in Our Heads? From Naturalism to Psychologism

Studia Logica
Philosophy of ScienceLogicHistory
2008English

Meeting Strength in Substructural Logics

Studia Logica
Philosophy of ScienceLogicHistory
1995English

Dynamic Update With Probabilities

Studia Logica
Philosophy of ScienceLogicHistory
2009English

Behavioral Algebraization of Logics

Studia Logica
Philosophy of ScienceLogicHistory
2009English

Proof Systems for Reasoning About Computation Errors

Studia Logica
Philosophy of ScienceLogicHistory
2009English

Editorial Introduction. Truth Values: Part I

Studia Logica
Philosophy of ScienceLogicHistory
2009English

O Pewnej Reduckji Ilości Pojęć Pierwotnych Fonologii

Studia Logica
Philosophy of ScienceLogicHistory
1969English

Compilability and Compact Representations of Revision of Horn Knowledge Bases

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2000English

Verifying Security Protocols as Planning in Logic Programming

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2001English

Termination of Rewriting Under Strategies

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2009English
  • ‹
  • 57
  • 58
  • 59
  • 60
  • 61
  • 62
  • 63
  • ›

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy