scholarly journals Filters and congruences in sectionally pseudocomplemented lattices and posets

2021 ◽  
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Algebraic Semantics ◽  
Basic Properties ◽  
Algebraic Constructions ◽  
Pseudocomplemented Lattices ◽  
Intuitionistic Logics

AbstractTogether with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that—similar to relatively pseudocomplemented lattices—these structures can serve as an algebraic semantics of certain intuitionistic logics. The aim of the present paper is to define congruences and filters in these structures, derive mutual relationships between them and describe basic properties of congruences in strongly sectionally pseudocomplemented posets. For the description of filters in both sectionally pseudocomplemented lattices and posets, we use the tools introduced by A. Ursini, i.e., ideal terms and the closedness with respect to them. It seems to be of some interest that a similar machinery can be applied also for strongly sectionally pseudocomplemented posets in spite of the fact that the corresponding ideal terms are not everywhere defined.

scholarly journals Logics without the contraction rule and residuated lattices

2010 ◽  
Vol 8 ◽  
Author(s):  
Hiroakira Ono
Keyword(s):  
Residuated Lattices ◽  
Algebraic Semantics ◽  
Fuzzy Logics ◽  
Technical Tool ◽  
Intermediate Logics ◽  
Nonclassical Logics ◽  
Intuitionistic Logics ◽  
Main Technical Tool

In this paper, we will develop an algebraic study of substructural propositional logics over FLew, i.e. the logic which is obtained from intuitionistic logics by eliminating the contraction rule. Our main technical tool is to use residuated lattices as the algebraic semantics for them. This enables us to study different kinds of nonclassical logics, including intermediate logics, BCK-logics, Lukasiewicz’s many-valued logics and fuzzy logics, within a uniform framework.

On the Essence and Tipology of International Public Goods

2005 ◽  
pp. 131-141
Author(s):  
V. Mortikov
Keyword(s):  
Economic Policy ◽  
Social Construction ◽  
Public Goods ◽  
Public Good ◽  
Global Public Goods ◽  
Club Goods ◽  
Basic Properties ◽  
International Public Goods ◽  
Regional Public Goods ◽  
Joint Products

The basic properties of international public goods are analyzed in the paper. Special attention is paid to the typology of international public goods: pure and impure, excludable and nonexcludable, club goods, regional public goods, joint products. The author argues that social construction of international public good depends on many factors, for example, government economic policy. Aggregation technologies in the supply of global public goods are examined.

The advancement of silicon-on-insulator (SOI) devices and their basic properties

2020 ◽  
Vol 23 (3) ◽  
pp. 227-252
Author(s):  
T.E. Rudenko ◽  
◽  
A.N. Nazarov ◽  
V.S. Lysenko ◽  
◽  
...  
Keyword(s):  
Silicon On Insulator ◽  
Basic Properties ◽  
Soi Devices

Basic Properties of an Ultrasonic Probe with a Through Hole for Puncture and Detection Principle of a Puncture Needle

2012 ◽  
Vol 132 (11) ◽  
pp. 420-424 ◽  
Author(s):  
Yuusuke Tanaka ◽  
Katsuhiko Tanaka ◽  
Susumu Sugiyama ◽  
Hisanori Shiomi ◽  
Yoshimasa Kurumi ◽  
...  
Keyword(s):  
Ultrasonic Probe ◽  
Basic Properties ◽  
Puncture Needle ◽  
Through Hole ◽  
Detection Principle

ON A NEW CLASS OF SEMI GENERALIZED CLOSED SETS IN STRONG GENERALIZED TOPOLOGICAL SPACES

2020 ◽  
Vol 9 (11) ◽  
pp. 9353-9360
Author(s):  
G. Selvi ◽  
I. Rajasekaran
Keyword(s):  
Topological Spaces ◽  
Closed Set ◽  
Basic Properties ◽  
Closed Sets ◽  
New Class ◽  
Open Set ◽  
Continuous Maps

This paper deals with the concepts of semi generalized closed sets in strong generalized topological spaces such as $sg^{\star \star}_\mu$-closed set, $sg^{\star \star}_\mu$-open set, $g^{\star \star}_\mu$-closed set, $g^{\star \star}_\mu$-open set and studied some of its basic properties included with $sg^{\star \star}_\mu$-continuous maps, $sg^{\star \star}_\mu$-irresolute maps and $T_\frac{1}{2}$-space in strong generalized topological spaces.

New family of Whitney numbers

Filomat ◽  
2017 ◽  
Vol 31 (2) ◽  
pp. 309-320 ◽  
Author(s):  
B.S. El-Desouky ◽  
Nenad Cakic ◽  
F.A. Shiha
Keyword(s):  
Generating Functions ◽  
Recurrence Relations ◽  
Stirling Numbers ◽  
Explicit Formulas ◽  
Basic Properties ◽  
New Family ◽  
Whitney Numbers ◽  
Special Cases

In this paper we give a new family of numbers, called ??-Whitney numbers, which gives generalization of many types of Whitney numbers and Stirling numbers. Some basic properties of these numbers such as recurrence relations, explicit formulas and generating functions are given. Finally many interesting special cases are derived.

Sign in / Sign up

Export Citation Format

Share Document