Results 1 to 10 of about 6,757 (166)
, 2019 Abstract Relevant logics aim to avoid the ‘paradoxes’ of the material and strict conditionals. Their most natural semantics, the Routley-Meyer semantics, is given in terms of impossible worlds. By placing certain further conditions on those worlds, we can obtain stronger relevant logics.
Francesco Berto +2 more
exaly +2 more sources
Bulletin of the Section of Logic, 2021 We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to
Damian E. Szmuc
doaj +1 more source
Bulletin of the Section of Logic, 2022 Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature.
Sandra M. López
doaj +1 more source
The Weak Variable Sharing Property
Bulletin of the Section of Logic, 2023 An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property.
Tore Fjetland Øgaard
doaj +1 more source
A Novel of Domination in Neutrosophic Over Graphs [PDF]
Neutrosophic Sets and Systems, 2023 The degree of data uncertainty may be measured using a variety of mathematical techniques, but neutrosophic logic is a potent instrument for analysis when compared to fuzzy and intuitionistic fuzzy logics.
R. Narmada Devi, M. Meenu, G. Muthumari
doaj +1 more source
The Good, the Bad and the Right: Formal Reductions among Deontic Concepts
Bulletin of the Section of Logic, 2021 The present article provides a taxonomic analysis of bimodal logics of normative ideality and normative awfulness, two notions whose meaning is here explained in terms of the moral values pursued by a given community.
Daniela Glavaničová, Matteo Pascucci
doaj +1 more source
Lindstrom theorems for fragments of first-order logic [PDF]
Logical Methods in Computer Science, 2009 Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic.
Johan van Benthem +2 more
doaj +1 more source
LogicNet: probabilistic continuous logics in reconstructing gene regulatory networks
BMC Bioinformatics, 2020 Background Gene Regulatory Networks (GRNs) have been previously studied by using Boolean/multi-state logics. While the gene expression values are usually scaled into the range [0, 1], these GRN inference methods apply a threshold to discretize the data ...
Seyed Amir Malekpour +2 more
doaj +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
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source