Results 11 to 20 of about 147,987 (297)
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
Epistemic Logics for Relevant Reasoners [PDF]
Journal of Philosophical LogicAbstractWe present a neighbourhood-style semantic framework for modal epistemic logic modelling agents who process information using relevant logic. The distinguishing feature of the framework in comparison to relevant modal logic is that the environment the agent is situated in is assumed to be a classical possible world.
Sedlár, Igor, Vigiani, Pietro
openaire +4 more sources
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4 [PDF]
, 2016 The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics.
Recio, Marcos M. +9 more
core +3 more sources
The logic of dynamical systems is relevant [PDF]
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.
Hornischer, Levin +3 more
core +4 more sources
Belief-Logic Conflict Resolution in Syllogistic Reasoning: Inspection-Time Evidence for a Parallel-Process Model [PDF]
, 2008 An experiment is reported examining dual-process models of belief bias in syllogistic reasoning using a problem complexity manipulation and an inspection-time method to monitor processing latencies for premises and conclusions.
Stupple, Edward J. N. +3 more
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 +4 more sources
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions.
Francesco Olivieri +3 more
doaj +1 more source
Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E [PDF]
, 2019 The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL].
Typańska-Czajka, Lidia
core +1 more source
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