Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming

2005 ◽  
pp. 765-780 ◽  
Author(s):  
Sanjiva Prasad ◽  
Alessandro Giacalone ◽  
Prateek Mishra
Keyword(s):  
Functional Programming ◽  
Algebraic Semantics

A General Algebraic Semantics for Sentential Logics

2016 ◽  
Author(s):  
Josep Maria Font ◽  
Ramon Jansana
Keyword(s):  
Algebraic Semantics

Parts of a Whole

2017 ◽  
Author(s):  
Lucas Champollion
Keyword(s):  
Algebraic Semantics ◽  
Reference Measurement ◽  
Single Constraint ◽  
Starting Point ◽  
Accessible Format ◽  
The Way

Why can I tell you that I ran for five minutes but not that I *ran all the way to the store for five minutes? Why can you say that there are five pounds of books in this package if it contains several books, but not *five pounds of book if it contains only one? What keeps you from using *sixty degrees of water to tell me the temperature of the water in your pool when you can use sixty inches of water to tell me its height? And what goes wrong when I complain that *all the ants in my kitchen are numerous? The constraints on these constructions involve concepts that are generally studied separately: aspect, plural and mass reference, measurement, and distributivity. This work provides a unified perspective on these domains, connects them formally within the framework of algebraic semantics and mereology, and uses this connection to transfer insights across unrelated bodies of literature and formulate a single constraint that explains each of the judgments above. This provides a starting point from which various linguistic applications of mereology are developed and explored. The main foundational issues, relevant data, and choice points are introduced in an accessible format.

Editorial of Special Issue Trends in Functional Programming 2011/12

2015 ◽  
Vol 44 ◽  
pp. 141-142
Author(s):  
Hans-Wolfgang Loidl ◽  
Ricardo Peña
Keyword(s):  
Functional Programming ◽  
Special Issue

The Alonzo functional programming language

1989 ◽  
Vol 24 (9) ◽  
pp. 152-157 ◽  
Author(s):  
J. D. Ramsdell
Keyword(s):  
Programming Language ◽  
Functional Programming ◽  
Functional Programming Language

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.

Sign in / Sign up

Export Citation Format

Share Document