Behavioral algebraization of logics
From MaRDI portal
Publication:1005974
DOI10.1007/s11225-009-9163-8zbMath1171.03040OpenAlexW1964567503MaRDI QIDQ1005974
Ricardo Gonçalves, Carlos Caleiro, Manuel A. Martins
Publication date: 17 March 2009
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.9982
Related Items (8)
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Abstract valuation semantics ⋮ A short overview of Hidden Logic ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Taking degrees of truth seriously ⋮ Algebraic Valuations as Behavioral Logical Matrices ⋮ Behavioral algebraization of da Costa's C-systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Behavioral abstraction is hiding information
- Nelson algebras through Heyting ones. I
- Every quotient algebra for \(C_1\) is trivial
- Constructive logic with strong negation is a substructural logic. I
- Paraconsistent algebras
- Some investigations of varieties of \({\mathcal N}\)-lattices
- \(C_ 1\) is not algebraizable
- Theory of logical calculi. Basic theory of consequence operations
- An algebraic approach to non-classical logics
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On extensions of intermediate logics by strong negation
- A survey of abstract algebraic logic
- A hidden agenda
- Fibring non-truth-functional logics: Completeness preservation
- Closure properties for the class of behavioral models
- Weakly complete axiomatization of exogenous quantum propositional logic
- Equivalential and algebraizable logics
- On the Algebraization of Many-Sorted Logics
- Algebraizable logics
- Fibring of logics as a categorial construction
- Weakly algebraizable logics
- Constructible falsity
- Leibniz filters and the strong version of a protoalgebraic logic
This page was built for publication: Behavioral algebraization of logics
