Results 1 to 10 of about 312,323 (264)
Some Supervaluation-based Consequence Relations [PDF]
Journal of Philosophical Logic, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philip Kremer
exaly +3 more sources
Fresnel reflection coefficients in the Fourier domain for a planar surface in uniform motion parallel to its interface [PDF]
Scientific ReportsThe optical reflection coefficient of a medium moving uniformly in the plane spanned by its surface is rigorously calculated using classical electrodynamics and special relativity, and expressed in the Fourier domain, as a function of the incident ...
Stéphane Azar +2 more
doaj +2 more sources
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
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION
The Review of Symbolic Logic, 2023 AbstractWe generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the use criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be used in some way to obtain the conclusion(s).
Guillermo Badia +3 more
openaire +4 more sources
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
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
doaj +1 more source
Consequence relations in DRT [PDF]
Proceedings of the 15th conference on Computational linguistics -, 1994 We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using sequent calculi. We also show some connections of these consequence relations and existing partial logics. Our attempt enables us to display several versions of DRT by employing different consequence relations.
Seiki Akama, Yotaro Nakayama
openaire +2 more sources
AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS [PDF]
The Review of Symbolic Logic, 2019 AbstractWe generalise the Blok–Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and Jónsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or ...
Petr Cintula +3 more
openaire +3 more sources
CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS [PDF]
The Review of Symbolic Logic, 2014 AbstractSome theorists have developed formal approaches to truth that depend on counterexamples to the structural rules ofcontraction. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question ...
Rohan French, David Ripley
openaire +1 more source