Implication via spacetime

DOI10.1007/978-3-030-53654-1_7MaRDI QIDQ2658280zbMATH OpenOpenAlexFDO

Publication date 19 March 2021

Full work available at URL https://arxiv.org/abs/2001.00997

sub-intuitionistic logics sub-structural logics temporal logics topological semantics weak implications

Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Abstract: In this paper we intend to study implications in their most general form, generalizing different classes of implications including the Heyting implication, sub-structural implications and weak strict implications. Following the topological interpretation of the intuitionistic logic, we will introduce non-commutative spacetimes to provide a more dynamic and subjective interpretation of an intuitionistic proposition. These combinations of space and time are natural sources for well-behaved implications and we will show that their spatio-temporal implications represent any other reasonable abstract implication. Then to provide a faithful well-behaved syntax for abstract implications, we will develop a logical system for the non-commutative spacetimes for which we will present both topological and Kripke semantics. These logics unify sub-structural and sub-intuionistic logics by embracing them as their special fragments.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Implication via spacetime

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2658280)