Results 11 to 20 of about 4,242,976 (194)
On Sahlqvist Formulas in Relevant Logic. [PDF]
J Philos Logic, 2018 This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. Furthermore, we show
Badia G.
europepmc +9 more sources
The Logic of Dynamical Systems Is Relevant [PDF]
MindAbstract Lots of things are usefully modelled in science as dynamical systems: growing populations, flocking birds, engineering apparatus, cognitive agents, distant galaxies, Turing machines, neural networks. We argue that relevant logic is ideal for reasoning about dynamical systems, including interactions with the system through ...
Levin Hornischer, Francesco Berto
core +8 more sources
Relevant Logic and Paraconsistency
, 2005 This is an account of the approach to paraconsistency associated with relevant logic. The logic fde of first degree entailments is shown to arise naturally out of the deeper concerns of relevant logic. The relationship between relevant logic and resolution, and especially the disjunctive syllogism, is then examined.
John Slaney
openaire +2 more sources
Truthmaker Semantics for Relevant Logic [PDF]
Journal of Philosophical Logic, 2020 Abstract I develop and defend a truthmaker semantics for the relevant logic R . The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths
Jago, Mark
core +5 more sources
Two 4-valued implicative expansions of first-degree entailment logic: the relevant logic BN4vsp and the (relevant) entailment logic BN4ap [PDF]
, 2023 [EN] A logic L has the "variable-sharing property" (VSP) if in all L-theorems of the form A -> B, A and B share at least a propositional variable. A logic L has the "Ackermann property" (AP) if in all L-theorems of the form A -> (B -> C), A contains at ...
Robles Vázquez, Gemma, Gemma Robles
core +1 more source
SUBSTITUTION IN RELEVANT LOGICS [PDF]
The Review of Symbolic Logic, 2019 AbstractThis essay discusses rules and semantic clauses relating to Substitution—Leibniz’s law in the conjunctive-implicational form $s\dot{ = }t \wedge A\left( s \right) \to A\left( t \right)$—as these are put forward in Priest’s books In Contradiction and An Introduction to Non-Classical Logic: From If to Is. The stated rules and clauses are shown to
openaire +5 more sources
The ILLTP Library for Intuitionistic Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
Carlos Olarte +3 more
doaj +1 more source
C.I. Lewis, E.J. Nelson, and the Modern Origins of Connexive Logic
Organon F, 2019 Modern logic owes an important debt to C.I. Lewis and his students. In addition to Lewis’s five modal logics, they are responsible for the creation (or discovery) of the logic of analytic implication and connexive logic.
Edwin Mares, Francesco Paoli
doaj +1 more source
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +3 more sources
Recent Work in Relevant Logic [PDF]
, 2013 This paper surveys important work done in relevant logic in the past 10 ...
Jago, Mark
core +2 more sources