Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Icard
A Monotonicity Calculus and Its Completeness
Related publications
The Completeness of the First-Order Functional Calculus
Journal of Symbolic Logic
Philosophy
Logic
Extracting the Resolution Algorithm From a Completeness Proof for the Propositional Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Strong Completeness of the Lambek Calculus With Respect to Relational Semantics
Banach Center Publications
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
Monotonicity Properties on K-Digamma Function and Its Related Inequalities
Journal of Mathematical Inequalities
Analysis
On Context-Free Rewriting With a Simple Restriction and Its Computational Completeness
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Dag-Calculus: A Calculus for Parallel Computation
Cone Monotonicity: Structure Theorem, Properties, and Comparisons to Other Notions of Monotonicity
Abstract and Applied Analysis
Applied Mathematics
Analysis
A Monotonicity Principle for Eigenvalues
Pacific Journal of Mathematics
Mathematics
