Results 11 to 20 of about 578,367 (300)
Considerations on Logical Consequence and Natural Language
Dialectica, 2022 In a recent article, “Logical Consequence and Natural Language,” Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim.
Gil Sagi
core +2 more sources
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates [PDF]
Computer Science Journal of Moldova, 2015 In the paper we investigate semantic properties of program-oriented algebras and logics defined for classes of quasiary predicates. Informally speaking, such predicates are partial predicates defined over partial states (partial assignments) of variables.
Mykola Nikitchenko, Stepan Shkilniak
core +1 more source
Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
Studia Universitatis Babes-Bolyai: Series Informatica, 2010 This paper presents a study of the nonmonotonic consequence relation which models the skeptical reasoning formalised by constrained default logic. The nonmonotonic skeptical consequence relation is defined using the sequent calculus axiomatic system.
Mihaiela Lupea
core +1 more source
Information and Computation, 1991 The approach to characterize propositional logical connectives by rules for sequent calculi was developed mainly via natural deduction. The author uses multiple sequent calculi with definitions like: internal disjunction is a binary connective \(+\) such that \(X\vdash Y,A,B\) iff \(X\vdash Y,A+B\).
Avron, Arnon, Arnon Avron
openaire +2 more sources
Relevant consequence relations [PDF]
, 2023 We generalize the notion of \(\textit {consequence relation}\) standard in abstract treatments of logic to accommodate intuitions of \(\it relevance\). The guiding idea follows the \(\textit {use criterion}\), according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be \(\it used\) in some way ...
Badia, Guillermo (Dr. phil.) +3 more
openaire +1 more source
Evaluating Etchemendy's Critiques of Tarski’s Analysis of Logical Consequence [PDF]
Journal of Philosophical Investigations, 2022 According to Tarski's model-theoretic analysis of logical consequence, the sentence X is a logical consequence of a set of sentences Γ if and only if any model for Γ is also a model for X.
Hamid Alaeinejad, Morteza Hajhosseini
doaj +1 more source
Basic Four-Valued Systems of Cyclic Negations
Bulletin of the Section of Logic, 2022 We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as
Oleg Grigoriev, Dmitry Zaitsev
doaj +1 more source
Consequences and Design in General and Transcendental Logic [PDF]
Кантовский сборник, 2018 In this article, I consider Kant’s dichotomy between general and transcendental logic in light of a retrospective reconstruction of two approaches originating in 14th century scholasticism that are used to demarcate formal and material consequences.
Dragalina-Chernaya, E. G.
doaj +1 more source
When Do We Leave Discourse Relations Underspecified? The Effect of Formality and Relation Type
Discours, 2020 Speakers have several options when they express a discourse relation: they can leave it implicit, or make it explicit, usually through a connective. Although not all connectives can go with every relation, there is one that is particularly frequent and ...
Ludivine Crible, Vera Demberg
doaj +1 more source
Scientific Reports, 2022 This study aimed to assess the effect of smoking different tobacco types on the supragingival microbiome and its relation to dental caries. Forty supragingival plaque samples were collected from smokers of a single tobacco type and non-smokers seeking ...
Farah Al-Marzooq +6 more
doaj +1 more source