Implication via spacetime
From MaRDI portal
Publication:2658280
DOI10.1007/978-3-030-53654-1_7zbMath1498.03023arXiv2001.00997OpenAlexW2997258925MaRDI QIDQ2658280
Publication date: 19 March 2021
Full work available at URL: https://arxiv.org/abs/2001.00997
Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Amalgamation property for the class of basic algebras and some of its natural subclasses
- Residuated lattices. An algebraic glimpse at substructural logics
- A weak intuitionistic propositional logic with purely constructive implication
- A propositional logic with explicit fixed points
- Domain theory in logical form
- On modal logic with an intuitionistic base
- Subintuitionistic logics
- A closer look at some subintuitionistic logics
- Generalising monads to arrows
- Lewis meets Brouwer: constructive strict implication
- Latarres, lattices with an arrow
- A model for intuitionistic non-standard arithmetic
- The algebra of topology
- On Lob algebras, II
- An extension of the Galois theory of Grothendieck
- On Löb algebras
- Properties of Intuitionistic Provability and Preservativity Logics
- Completions of Basic Algebras
- Categorical semantics for arrows
- Weak Logics with Strict Implication
- Basic Propositional Calculus I
- Quantales, observational logic and process semantics
- On the linear Lindenbaum algebra of Basic Propositional Logic
- Bounded distributive lattices with strict implication
- Preservativity logic: An analogue of interpretability logic for constructive theories
- Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
- An Introduction to Basic Arithmetic
- Basic propositional calculus. II: Interpolation
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
