scholarly journals A Formal Mathematical Semantics of Advanced Operations of Multiset Table Algebra

Author(s):  
Iryna Glushko

2016 ◽  
pp. 011-016
Author(s):  
I.N. Glushko ◽  

Table algebra of infinite tables is considered. The signature of table algebra of infinite tables is filled up with outer set operations. A formal mathematical semantics of these operations is defined.



2021 ◽  
Vol 14 ◽  
pp. 26-38
Author(s):  
Samuel R. Elliott ◽  

The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema. Drawing on the work of Arend Heyting and Michael Dummett, I present two objections to classical mathematical semantics, with the aim of creating an opening for an alternative interpretation. With this accomplished, I then make the case for intuitionism as a suitable candidate to fill this void.



2014 ◽  
Vol 14 (4-5) ◽  
pp. 587-601 ◽  
Author(s):  
MICHAEL GELFOND ◽  
YUANLIN ZHANG

AbstractThe paper presents a knowledge representation language $\mathcal{A}log$ which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of $\mathcal{A}log$, an algorithm for computing its answer sets, and comparison with other approaches.





2013 ◽  
Vol 12 (05) ◽  
pp. 1250216 ◽  
Author(s):  
A. HOSSEINI ◽  
A. RAHNAMAI BARGHI

A table algebra is called quasi self-dual if there exists a permutation on the set of primitive idempotents under which any Krein parameter is equal to its corresponding structure constants. In this paper we investigate the question of when a table algebra of rank 3 is quasi self-dual. As a direct consequence we find necessary and sufficient conditions for the Bose–Mesner algebra of a given strongly regular graph to be quasi self-dual. In fact, our result generalizes the well-known Delsarte's characterization of a self-duality of the Bose–Mesner algebra of a strongly regular graph given in [P. Delsarte, An algebraic approach to the association schemes of coding theory, Philips Res. Rep. Suppl.10 (1973) 1–97]. Among our results we determine conditions under which the Krein parameters of an integral table algebra of rank 3 are non-negative rational numbers.



1983 ◽  
Vol 17 (1) ◽  
pp. 55-70 ◽  
Author(s):  
G. Lévi ◽  
A. M. Pegna


2021 ◽  
Vol 8 ◽  
pp. 34-37
Author(s):  
Iryna Lysenko

The paper is focused on some theoretical questions of the table databases. Two mathematical formalisms such as table algebra of infinite tables and multiset table algebra are considered. Basic definitions referring to these formalisms are given. This paper also addresses the issue of the relationship between table algebra of infinite tables and multiset table algebra. It is proved that table algebra of infinite tables is not a subalgebra of multiset table algebra since it is not closed in relation to some signature operations of multiset table algebra. These signature operations are determined.



Sign in / Sign up

Export Citation Format

Share Document