Results 71 to 80 of about 3,353 (149)
Model-completion of varieties of co-Heyting algebras [PDF]
, 2017 It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the variety of Boolean
Darnière, Luck, Junker, Markus
core +2 more sources
Information completeness in Nelson algebras of rough sets induced by quasiorders
, 2012 In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson algebra can be
A. Sendlewski +22 more
core +1 more source
Representation of certain classes of distributive lattices by sections of sheaves
International Journal of Mathematics and Mathematical Sciences, 1980 Epstein and Horn ([6]) proved that a Post algebra is always a P-algebra and in a P-algebra, prime ideals lie in disjoint maximal chains. In this paper it is shown that a P-algebra L is a Post algebra of order n≥2, if the prime ideals of L lie in disjoint
U. Maddana Swamy, P. Manikyamba
doaj +1 more source
Free three-valued Closure Lukasiewicz Algebras [PDF]
, 2007 In this paper, the structure of finitely generated free objects in the variety of three-valued closure Lukasiewicz algebras is determined. We describe their indecomposable factors and we give their cardinality.Fil: Abad, Manuel.
Abad, Manuel +3 more
core +1 more source
A modal logic amalgam of classical and intuitionistic propositional logic
, 2015 A famous result, conjectured by G\"odel in 1932 and proved by McKinsey and Tarski in 1948, says that $\varphi$ is a theorem of intuitionistic propositional logic IPC iff its G\"odel-translation $\varphi'$ is a theorem of modal logic S4. In this paper, we
Lewitzka, Steffen
core +1 more source
Frontal Operators in Weak Heyting Algebras [PDF]
Studia Logica, 2012 Weak Heyting algebras and frontal Heyting algebras are important algebras of nonclassical logic. A frontal weak Heyting algebra is a generalization of frontal Heyting algebras, consisting of a weak Heyting algebra endowed with a frontal operator. The authors introduce the class of frontal weak Heyting algebras and give for it a representation and a ...
Celani, Sergio A. +1 more
openaire +4 more sources
Quantum geometry, logic and probability
Zagadnienia Filozoficzne w Nauce, 2020 Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these ‘lattice spacing’ weights do not have to be independent of the direction of the arrow.
Shahn Majid
doaj
Some notes on Esakia spaces [PDF]
, 2014 Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting algebras and ...
Dedicated To Manuela Sobral +2 more
core
Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology [PDF]
, 2015 A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure ...
Costa, João Pita +2 more
core
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS
The Journal of Symbolic LogicAbstractWe investigate degree of satisfiability questions in the context of Heyting algebras and intuitionistic logic. We classify all equations in one free variable with respect to finite satisfiability gap, and determine which common principles of classical logic in multiple free variables have finite satisfiability gap.
BENJAMIN MERLIN BUMPUS, ZOLTAN A. KOCSIS
openaire +3 more sources