scholarly journals The fragment of Classical Logic that respects the Variable-Sharing Principle

2021 ◽  
Author(s):  
Damian E. Szmuc
Keyword(s):  
Classical Logic ◽  
Propositional Variable ◽  
Kleene Algebra ◽  
First Degree Entailment ◽  
Left And Right ◽  
P Matrix ◽  
Linguistic Constraints ◽  
Sequent System

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 the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined in terms of a \(p\)-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints.

scholarly journals On density of truth of the intuitionistic logic in one variable

2008 ◽  
Vol DMTCS Proceedings vol. AI,... (Proceedings) ◽  
Author(s):  
Zofia Kostrzycka
Keyword(s):  
Intuitionistic Logic ◽  
Classical Logic ◽  
Propositional Logic ◽  
Propositional Variable ◽  
Intuitionistic Propositional Logic ◽  
International Audience

International audience In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment $\{ \to ,\vee ,\bot \}$ of this logic and compute the proportion of tautologies among all formulas. It turns out that this proportion is different from the analog one in the classical logic case.

scholarly journals Hybrid Deduction-Refutation Systems for FDE-Based Logics

2021 ◽  
Vol 18 (6) ◽  
pp. 599-615
Author(s):  
Eoin Moore
Keyword(s):  
Hybrid Systems ◽  
Hybrid System ◽  
Classical Logic ◽  
First Degree Entailment ◽  
Refutation Systems

Hybrid deduction-refuation systems are presented for four first-degree entailment based logics. The hybrid systems are shown to be deductively and refutationally sound with respect to their logics. The proofs of completeness are presented in a uniform way. The paper builds on work by Goranko, who presented a deductively and refutationally sound and complete hybrid system for classical logic.

scholarly journals Kripke-Style Models for Logics of Evidence and Truth

Axioms ◽  
2020 ◽  
Vol 9 (3) ◽  
pp. 100 ◽  
Author(s):  
Henrique Antunes ◽  
Walter Carnielli ◽  
Andreas Kapsner ◽  
Abilio Rodrigues
Keyword(s):  
Classical Logic ◽  
First Degree Entailment ◽  
Intended Interpretation

In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical logic for formulas in its scope. According to the intended interpretation here proposed, these models represent a database that receives information as time passes, and such information can be positive, negative, non-reliable, or reliable, while a formula ∘A means that the information about A, either positive or negative, is reliable. This proposal is in line with the interpretation of N4 and FDE as information-based logics, but adds to the four scenarios expressed by them two new scenarios: reliable (or conclusive) information (i) for the truth and (ii) for the falsity of a given proposition.

The Fifth Corner of Four

2018 ◽  
Author(s):  
Graham Priest
Keyword(s):  
Classical Logic ◽  
Buddhist Philosophy ◽  
First Degree Entailment ◽  
Excluded Middle ◽  
Metaphysical Principle ◽  
True False

The book charts the development of Buddhist metaphysics, drawing on texts which include those of Nagarjuna and Dogen. The development is viewed through the lens of the Catuṣkoṭi At its simplest, and as it appears in the earliest texts, this is a logical/metaphysical principle which says that every claim is true, false, both, or neither; but the principle itself evolves, assuming new forms as the metaphysics develops. An important step in the evolution incorporates ineffability. Such things make no sense from the perspective of a logic which endorses the principles of excluded middle and non-contradiction, which are standard fare in Western logic. However, the book shows how one can make sense of them by applying the techniques of contemporary non-classical logic, such as those of First Degree Entailment, and plurivalent logic. An important issue that emerges as the book develops is the notion of non-duality and its transcendence. This allows many of the threads of the book to be drawn together at its end. All matters are explained, as far as possible, in a way that is accessible to those with no knowledge of Buddhist philosophy or contemporary non-classical logic.

The three-dimensional structure of frozen-hydrated left- and right-handed forms of bacterial flagellar filaments from an identical serotype

1986 ◽  
Vol 44 ◽  
pp. 298-299
Author(s):  
S. Trachtenberg ◽  
D. J. DeRosier
Keyword(s):  
Ionic Strength ◽  
Basal Body ◽  
Three Dimensional ◽  
Dimensional Structure ◽  
Protein Species ◽  
Liquid Environment ◽  
Bacterial Flagellum ◽  
Left And Right ◽  
Rotary Motor ◽  
Helical Parameters

The bacterial cell is propelled through the liquid environment by means of one or more rotating flagella. The bacterial flagellum is composed of a basal body (rotary motor), hook (universal coupler), and filament (propellor). The filament is a rigid helical assembly of only one protein species — flagellin. The filament can adopt different morphologies and change, reversibly, its helical parameters (pitch and hand) as a function of mechanical stress and chemical changes (pH, ionic strength) in the environment.

Advantages of Complementary Stereo Images as Viewed with the Low-Temperature Field-Emission SEM

1992 ◽  
Vol 50 (2) ◽  
pp. 1314-1315
Author(s):  
William P. Wergin ◽  
Eric F. Erbe
Keyword(s):  
Fold Increase ◽  
Horizontal Displacement ◽  
Three Dimensions ◽  
Stereo Image ◽  
Stereo Pair ◽  
Sem Micrograph ◽  
Left And Right ◽  
The Common ◽  
The Brain ◽  
Pair Analysis

The eye-brain complex allows those of us with normal vision to perceive and evaluate our surroundings in three-dimensions (3-D). The principle factor that makes this possible is parallax - the horizontal displacement of objects that results from the independent views that the left and right eyes detect and simultaneously transmit to the brain for superimposition. The common SEM micrograph is a 2-D representation of a 3-D specimen. Depriving the brain of the 3-D view can lead to erroneous conclusions about the relative sizes, positions and convergence of structures within a specimen. In addition, Walter has suggested that the stereo image contains information equivalent to a two-fold increase in magnification over that found in a 2-D image. Because of these factors, stereo pair analysis should be routinely employed when studying specimens.Imaging complementary faces of a fractured specimen is a second method by which the topography of a specimen can be more accurately evaluated.

Histological evaluation of cochlear hair cell damage from noise-induced hearing loss in chinchillas

1990 ◽  
Vol 48 (3) ◽  
pp. 332-333
Author(s):  
R.V. Harrison ◽  
R.J. Mount ◽  
P. White ◽  
N. Fukushima
Keyword(s):  
Hair Cell ◽  
Evoked Potential ◽  
Cell Damage ◽  
Acoustic Trauma ◽  
Histological Evaluation ◽  
Cell Integrity ◽  
Functional Changes ◽  
Cochlear Hair Cell ◽  
Left And Right ◽  
Contralateral Ear

In studies which attempt to define the influence of various factors on recovery of hair cell integrity after acoustic trauma, an experimental and a control ear which initially have equal degrees of damage are required. With in a group of animals receiving an identical level of acoustic trauma there is more symmetry between the ears of each individual, in respect to function, than between animals. Figure 1 illustrates this, left and right cochlear evoked potential (CAP) audiograms are shown for two chinchillas receiving identical trauma. For this reason the contralateral ear is used as control.To compliment such functional evaluations we have devised a scoring system, based on the condition of hair cell stereocilia as revealed by scanning electron microscopy, which permits total stereociliar damage to be expressed numerically. This quantification permits correlation of the degree of structural pathology with functional changes. In this paper wereport experiments to verify the symmetry of stereociliar integrity between two ears, both for normal (non-exposed) animals and chinchillas in which each ear has received identical noise trauma.

The crystallography characteristic of (Mn,Fe)S single crystal

1990 ◽  
Vol 48 (4) ◽  
pp. 898-899
Author(s):  
Jiang Xishan
Keyword(s):  
Single Crystal ◽  
Cast Steel ◽  
Point Group ◽  
Central Area ◽  
Hexagonal Crystal ◽  
Growth Step ◽  
Left And Right ◽  
Relationship Of ◽  
Fcc Structure ◽  
New Discovery

This paper reports the growth step pattern and morphology at equilibrium and growth states of (Mn,Fe)S single crystal on the wall of micro-voids in ZG25 cast steel by using scanning electron microscope. Seldom report was presented on the growth morphology and steppattern of (Mn,Fe)S single crystal.Fig.1 shows the front half of the polyhedron of(Mn,Fe)S single crystal,its central area being the square crystal plane,the two pairs of hexagons symmetrically located in the high and low, the left and right with a certain, angle to the square crystal plane.According to the symmetrical relationship of crystal, it was defined that the (Mn,Fe)S single crystal at equilibrium state is tetrakaidecahedron consisted of eight hexagonal crystal planes and six square crystal planes. The macroscopic symmetry elements of the tetrakaidecahedron correpond to Oh—n3m symmetry class of fcc structure,in which the hexagonal crystal planes are the { 111 } crystal planes group,square crystal plaits are the { 100 } crystal planes group. This new discovery of the (Mn,Fe)S single crystal provides a typical example of the point group of Oh—n3m.

Left and Right in Global Politics

2008 ◽  
Author(s):  
Alain Noel ◽  
Jean-Philippe Therien
Keyword(s):  
Global Politics ◽  
Left And Right
Sign in / Sign up

Export Citation Format

Share Document