Behavioral algebraization of logics
type: Item
instance of: scholarly article
title: Behavioral algebraization of logics
zbMATH Open document ID: 1171.03040
author: Carlos Caleiro
author: Ricardo Gonçalves
author: Manuel A. Martins
published in: Studia Logica
publication date: 2009-03-17T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 5529413
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: many-sorted behavioral logic
zbMATH Keywords: non-truth-functionality
MaRDI profile type: Publication
OpenAlex ID: W1964567503
cites work: Q5311061
cites work: Q3367292
cites work: Algebraizable logics
cites work: Q4029628
cites work: Q3934450
cites work: Fibring non-truth-functional logics: Completeness preservation
cites work: On the Algebraization of Many-Sorted Logics
cites work: Paraconsistent algebras
cites work: Weakly algebraizable logics
cites work: Q4249028
cites work: Q4287485
cites work: A survey of abstract algebraic logic
cites work: Leibniz filters and the strong version of a protoalgebraic logic
cites work: A hidden agenda
cites work: Equivalential and algebraizable logics
cites work: On extensions of intermediate logics by strong negation
cites work: \(C_ 1\) is not algebraizable
cites work: Closure properties for the class of behavioral models
cites work: Weakly complete axiomatization of exogenous quantum propositional logic
cites work: Every quotient algebra for \(C_1\) is trivial
cites work: Constructible falsity
cites work: An algebraic approach to non-classical logics
cites work: Q4222955
cites work: Behavioral abstraction is hiding information
cites work: Some investigations of varieties of \({\mathcal N}\)-lattices
cites work: Nelson algebras through Heyting ones. I
cites work: Fibring of logics as a categorial construction
cites work: Constructive logic with strong negation is a substructural logic. I
cites work: Notes on \(\eta\)-lattices and constructive logic with strong negation
cites work: Theory of logical calculi. Basic theory of consequence operations
DOI: 10.1007/S11225-009-9163-8
description: scientific article; zbMATH DE number 5529413