Lewis meets Brouwer: constructive strict implication (Q1688950): Difference between revisions

@@ Property / OpenAlex ID @@
+W3101546648
@@ Property / OpenAlex ID: W3101546648 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02143
@@ Property / arXiv ID: 1708.02143 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalized Proof of Strong Normalization for Guarded Recursive Types
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free tableau calculi for some propositional normal modal logics
+Normal rank
@@ Property / cites work @@
+A very modal model of a modern, major, general type system
+Normal rank
@@ Property / cites work @@
+The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
+Normal rank
@@ Property / cites work @@
+INTUITIONISTIC EPISTEMIC LOGIC
@@ Property / cites work: INTUITIONISTIC EPISTEMIC LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Productive coprogramming with guarded recursion
@@ Property / cites work: Productive coprogramming with guarded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The deduction theorem in a functional calculus of first order based on strict implication
+Normal rank
@@ Property / cites work @@
+Strict implication, deducibility and the deduction theorem
+Normal rank
@@ Property / cites work @@
+The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
+Normal rank
@@ Property / cites work @@
+On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+The interpretability logic of Peano arithmetic
@@ Property / cites work: The interpretability logic of Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Esakia style duality for implicative semilattices
@@ Property / cites work: Esakia style duality for implicative semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes
+Normal rank
@@ Property / cites work @@
+First steps in synthetic guarded domain theory: step-indexing in the topos of trees
+Normal rank
@@ Property / cites work @@
+A Model of Countable Nondeterminism in Guarded Type Theory
+Normal rank
@@ Property / cites work @@
+Guarded Dependent Type Theory with Coinductive Types
+Normal rank
@@ Property / cites work @@
+A model of guarded recursion with clock synchronisation
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability: The emergence of a mathematical modality
+Normal rank
@@ Property / cites work @@
+Models for normal intuitionistic modal logics
@@ Property / cites work: Models for normal intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A closer look at some subintuitionistic logics
@@ Property / cites work: A closer look at some subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattices with strict implication
+Normal rank
@@ Property / cites work @@
+Programming and Reasoning with Guarded Recursion for Coinductive Types
+Normal rank
@@ Property / cites work @@
+Sequent Calculus in the Topos of Trees
@@ Property / cites work: Sequent Calculus in the Topos of Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Logics with Strict Implication
@@ Property / cites work: Weak Logics with Strict Implication / rank @@
+Normal rank
@@ Property / cites work @@
+TRANSITIVE PRIMAL INFON LOGIC
@@ Property / cites work: TRANSITIVE PRIMAL INFON LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694209
@@ Property / cites work: Q4694209 / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics and the de Jongh property
@@ Property / cites work: Intermediate logics and the de Jongh property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837730
@@ Property / cites work: Q3837730 / rank @@
+Normal rank
@@ Property / cites work @@
+The first axiomatization of relevant logic
@@ Property / cites work: The first axiomatization of relevant logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833771
@@ Property / cites work: Q4833771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+A modification of Parry's analytic implication
@@ Property / cites work: A modification of Parry's analytic implication / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075436
@@ Property / cites work: Q4075436 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic implication
@@ Property / cites work: Analytic implication / rank @@
+Normal rank
@@ Property / cites work @@
+MacNeille completions and canonical extensions
@@ Property / cites work: MacNeille completions and canonical extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3720554
@@ Property / cites work: Q3720554 / rank @@
+Normal rank
@@ Property / cites work @@
+Grothendieck Topology as Geometric Modality
@@ Property / cites work: Grothendieck Topology as Geometric Modality / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of \(\Pi_ 1\)-conservativity
@@ Property / cites work: The logic of \(\Pi_ 1\)-conservativity / rank @@
+Normal rank
@@ Property / cites work @@
+The Henkin Sentence
@@ Property / cites work: The Henkin Sentence / rank @@
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329242
@@ Property / cites work: Q4329242 / rank @@
+Normal rank
@@ Property / cites work @@
+Preservativity logic: An analogue of interpretability logic for constructive theories
+Normal rank
@@ Property / cites work @@
+Properties of Intuitionistic Provability and Preservativity Logics
+Normal rank
@@ Property / cites work @@
+Q5202654
@@ Property / cites work: Q5202654 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215636
@@ Property / cites work: Q4215636 / rank @@
+Normal rank
@@ Property / cites work @@
+Iris
@@ Property / cites work: Iris / rank @@
+Normal rank
@@ Property / cites work @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic model for graphical user interfaces
@@ Property / cites work: A semantic model for graphical user interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order functional reactive programming in bounded space
+Normal rank
@@ Property / cites work @@
+Epistemic Updates on Algebras
@@ Property / cites work: Epistemic Updates on Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Strict Implication (1935)
@@ Property / cites work: A Note on Strict Implication (1935) / rank @@
+Normal rank
@@ Property / cites work @@
+Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
+Normal rank
@@ Property / cites work @@
+Provability logic—a short introduction
@@ Property / cites work: Provability logic—a short introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411417
@@ Property / cites work: Q5411417 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Modalities with Provability Smack
@@ Property / cites work: Constructive Modalities with Provability Smack / rank @@
+Normal rank
@@ Property / cites work @@
+Lewis meets Brouwer: constructive strict implication
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Editor's Introduction to C.I. Lewis and C.H. Langford ‘A Note on Strict Implication’
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive validity is nonarithmetic
@@ Property / cites work: Constructive validity is nonarithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness in intuitionistic metamathematics
@@ Property / cites work: Incompleteness in intuitionistic metamathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
+Normal rank
@@ Property / cites work @@
+A type theory for productive coprogramming via guarded recursion
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714439
@@ Property / cites work: Q5714439 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Lifschitz' realizability
@@ Property / cites work: Lifschitz' realizability / rank @@
+Normal rank
@@ Property / cites work @@
+In memoriam: Clarence Irving Lewis (1883--1964)
@@ Property / cites work: In memoriam: Clarence Irving Lewis (1883--1964) / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Propositional Realizability Logic
@@ Property / cites work: A Survey of Propositional Realizability Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic epistemic logic, Kripke models and Fitch's paradox
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Interpolation in fragments of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+A Light Modality for Recursion
@@ Property / cites work: A Light Modality for Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694581
@@ Property / cites work: Q4694581 / rank @@
+Normal rank
@@ Property / cites work @@
+A smart child of Peano's
@@ Property / cites work: A smart child of Peano's / rank @@
+Normal rank
@@ Property / cites work @@
+ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998865
@@ Property / cites work: Q3998865 / rank @@
+Normal rank
@@ Property / cites work @@
+Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
+Normal rank
@@ Property / cites work @@
+Impredicative Concurrent Abstract Predicates
@@ Property / cites work: Impredicative Concurrent Abstract Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+On the completenes principle: A study of provability in heyting's arithmetic and extensions
+Normal rank
@@ Property / cites work @@
+Q4694229
@@ Property / cites work: Q4694229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215610
@@ Property / cites work: Q4215610 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules and arithmetics
@@ Property / cites work: Rules and arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Q5393646
@@ Property / cites work: Q5393646 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Logics of Constructive Arithmetical Theories
+Normal rank
@@ Property / cites work @@
+Closed Fragments of Provability Logics of Constructive Theories
+Normal rank
@@ Property / cites work @@
+Q3464615
@@ Property / cites work: Q3464615 / rank @@
+Normal rank
@@ Property / cites work @@
+On intuitionistic modal epistemic logic
@@ Property / cites work: On intuitionistic modal epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948690
@@ Property / cites work: Q4948690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ Property / cites work @@
+Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
+Normal rank