Results 51 to 60 of about 166,072,092 (74)

A Unification Free Introduction to Logic Programming

, 1993
In this paper, we give a new presentation of the fundamental results of the theory of Logic Programming, which differs from classical introductions in at least two ways: the use of predicate algebras to deal with model theoretical aspects and the ...
Di Meglio, R., Sassone, V.
core   +1 more source

Judgement aggregation functions and ultraproducts [PDF]

The relationship between propositional model theory and social decision making via premise-based procedures is explored. A one-to-one correspondence between ultrafilters on the population set and weakly universal, unanimity-respecting, systematic ...
Herzberg, Frederik S.
core  

Boolean like algebras

Using Vaggione's concept of central element in a double pointed algebra, weintroduce the notion of Boolean like variety as a generalisation ofBoolean algebras to an arbitrary similarity type.
Francesco Paoli, Antonio Ledda, Antonino Salibra, Tomasz Kowalski   +3 more
core   +1 more source

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts [PDF]

A formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated algebraic structures have been studied extensively, including formal ...
Liau, Churn-Jung, Howlader, Prosenjit
core   +1 more source

Cardinal invariants on Boolean algebras

, 1996
Monk, James Donald 1930-
core  

On Boolean Algebras of Conditionals and Their Logical Counterpart

Lecture Notes in Computer Science, 2017
This paper sheds a novel light on the longstanding problem of investigating the logic of conditional events. Building on the framework of Boolean algebras of conditionals previously introduced by the authors, we make two main new contributions. First, we
Lluís Godo, Tommaso Flaminio, Hykel Hosni   +2 more
exaly   +2 more sources

Boolean algebras of conditionals, probability and logic

Artificial Intelligence, 2020
Lluís Godo, Tommaso Flaminio, Hykel Hosni   +2 more
exaly  

Logical Diagrams, Visualization Criteria, and Boolean Algebras

Studies in Universal Logic, 2022
exaly  

Gauge-invariant ideals of C⁎-algebras of Boolean dynamical systems

Journal of Mathematical Analysis and Applications, 2020
Eunji Kang, Toke Meier Carlsen
exaly  

Free algebras in varieties of BL-algebras with a Boolean retract.

Algebra Universalis, 2002
Roberto Cignoli
exaly