Results 191 to 200 of about 1,176 (208)

Universal Algebraic Logic

Studies in Universal Logic, 2022
Hajnal Andreka, István Németi, Ildikó Sain   +2 more
exaly  

An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$

Studia Logica, 2023
Sergei Odintsov, Davide Fazio, Odintsov Sergei P   +2 more
exaly  

A logic for Lawson compact algebraic L-domains

Theoretical Computer Science, 2020
Longchun Wang, Qingguo Li
exaly  

The Beth Property in Algebraic Logic

Studia Logica, 2006
W J Blok, Blok W J
exaly  

Finitary algebraic logic II

Mathematical Logic Quarterly, 1993
Roger Maddux
exaly  

On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis

Studia Logica, 2016
Francesco Paoli, JOSÉ Gil-Férez, Stefano Bonzio   +2 more
exaly  

Two proofs of the algebraic completeness theorem for multilattice logic

Journal of Applied Non-Classical Logics, 2019
Oleg Grigoriev, Yaroslav Petrukhin
exaly  

An Algebraic Presentation of Predicate Logic

Lecture Notes in Computer Science, 2013
Samuel Staton
exaly  

An Abstract Algebraic Logic View of Some Mutiple-valued Logics

Studies in Fuzziness and Soft Computing, 2003
Josep Maria Font, Font Josep Maria
exaly  

Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic

2005
Sain Ildikó, Ildikó Sain
exaly