DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Heyting arithmetic
Heyting arithmetic
On Proof Interpretations and Linear Logic
The Logic of Brouwer and Heyting
Finite Type Arithmetic
Epistemic Modality, Mind, and Mathematics
The Consistency of Arithmetic
Subverting the Classical Picture: (Co)Algebra, Constructivity and Modalities∗
The Unintended Interpretations of Intuitionistic Logic
Download
Intuitionistic Logic
Constructive Set Theory July, 2008, Mathlogaps Workshop, Manchester
Constructive Logic for All
Weak Theories of Nonstandard Arithmetic and Analysis
Uniform Heyting Arithmetic
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Constructive Set Theory and Brouwerian Principles1
Adam Rieger and Gareth Young (Editors), Dialetheism and Its Applications, Trends in Logic 52, Springer, 2019, 176Pp., $89,00, Hardcover, ISBN 9783030302207
On Disjunction and Numerical Existence Properties of Extensions of Heyting Arithmetic
Two Lectures on Constructive Type Theory
Top View
On an Intuitionistic Logic for Pragmatics
Unifying Functional Interpretations: Past and Future
An Intuitionistic Logic That Proves Markov's Principle
Introduction to Constructive Logic and Mathematics
Rumfitt on Truth-Grounds, Negation, and Vagueness
Intuitionistic Type Theory
Recent Advances in the Modal Model Checker Meth8 and VŁ4 Universal Logic
Michaeldephdthesis.Pdf (1.454Mb)
Intuitionistic Type Theory
Non-Commutative Infinitary Peano Arithmetic
New Directions in Justification Logic Joseph Lurie University of Connecticut - Storrs,
[email protected]
Functional Interpretation of Aczel's Constructive Set Theory
Panu Raatikainen Intuitionistic Logic and Its Philosophy
To Be Or Not to Be Constructive, That Is Not the Question
Proofs in Theories
Intuitionism and Philosophy
Logic A-Z from Wikipedia, the Free Encyclopedia Chapter 1
Lewis Meets Brouwer: Constructive Strict Implication
The Theory of Interacting Deductions and Its Application to Operational Semantics
Logical Pluralism and Vicious Regresses
On the Self-Foundation of Mathematics