Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Logic
RSL Volume 11 Issue 1 Cover and Front Matter
Review of Symbolic Logic
Mathematics
Philosophy
Logic
A Machine-Assisted Proof of Gödel’s Incompleteness Theorems for the Theory of Hereditarily Finite Sets
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Ibn Sīnā on Reductio Ad Absurdum
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Logical Grounds
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Representation and Duality of the Untyped Λ-Calculus in Nominal Lattice and Topological Semantics, With a Proof of Topological Completeness
Annals of Pure and Applied Logic
Logic
Beyond Abstract Elementary Classes: On the Model Theory of Geometric Lattices
Annals of Pure and Applied Logic
Logic
Some Lower Bounds on Shelah Rank in the Free Group
Annals of Pure and Applied Logic
Logic
Authentication Schemes From Actions on Graphs, Groups, or Rings
Annals of Pure and Applied Logic
Logic
Erratum To: Intuitionistic and Interval-Valued Intutionistic Fuzzy Preference Relations and Their Measures of Similarity for the Evaluation of Agreement Within a Group and Some Similarity Measures of Intuitionistic Fuzzy Sets and Their Applications to Multiple Attribute Decision Making
Fuzzy Optimization and Decision Making
Software
Artificial Intelligence
Logic
Group Decision-Making Based on Heterogeneous Preference Relations With Self-Confidence
Fuzzy Optimization and Decision Making
Software
Artificial Intelligence
Logic
‹
1
2
3
4
5
6
7
›
